全文获取类型
收费全文 | 324篇 |
免费 | 6篇 |
国内免费 | 9篇 |
专业分类
339篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2019年 | 4篇 |
2018年 | 7篇 |
2017年 | 4篇 |
2016年 | 11篇 |
2015年 | 1篇 |
2014年 | 6篇 |
2013年 | 9篇 |
2012年 | 4篇 |
2011年 | 6篇 |
2010年 | 1篇 |
2009年 | 11篇 |
2008年 | 12篇 |
2007年 | 22篇 |
2006年 | 26篇 |
2005年 | 23篇 |
2004年 | 20篇 |
2003年 | 16篇 |
2002年 | 29篇 |
2001年 | 18篇 |
2000年 | 30篇 |
1999年 | 17篇 |
1998年 | 12篇 |
1997年 | 18篇 |
1996年 | 11篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1985年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有339条查询结果,搜索用时 15 毫秒
91.
We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. 相似文献
92.
Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes. 相似文献
93.
94.
In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing actually operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an actually operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the actually axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. 相似文献
95.
96.
97.
We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable. 相似文献
98.
Stephen H. Hechler 《Studia Logica》2001,69(3):339-349
We extend some results of Adam Kolany to show that large sets of satisfiable sentences generally contain equally large subsets of mutually consistent sentences. In particular, this is always true for sets of uncountable cofinality, and remains true for sets of denumerable cofinality if we put appropriate bounding conditions on the sentences. The results apply to both the propositional and the predicate calculus. To obtain these results, we use delta sets for regular cardinals, and, for singular cardinals, a generalization of delta sets. All of our results are theorems in ZFC. 相似文献
99.
On programming KARO agents 总被引:1,自引:0,他引:1
Meyer J-J; de Boer F; van Eijk R; Hindriks K; van der Hoek W 《Logic Journal of the IGPL》2001,9(2):245-256
100.
We would like to introduce the web tutor ORGANON, which aimsto support basic logic courses at the University of West Bohemiain Pilsen (Czech Republic). The application was designed tofulfill two requirements. Firstly, it should help students duringtheir study to practice exercises on their own (providing permanentcontrol during students practicing exercises as wellas answering students questions immediately as they arise).Secondly, it should reduce teachers burden (diminishingthe amount of consultations as well as administrating studentshomework including correcting and grading). The tutor is availableat http://kfi.zcu.cz/lide/dostalova/organon. 相似文献