全文获取类型
收费全文 | 364篇 |
免费 | 6篇 |
国内免费 | 8篇 |
出版年
2023年 | 2篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 6篇 |
2017年 | 3篇 |
2016年 | 8篇 |
2015年 | 2篇 |
2014年 | 6篇 |
2013年 | 8篇 |
2012年 | 4篇 |
2011年 | 4篇 |
2010年 | 5篇 |
2009年 | 11篇 |
2008年 | 17篇 |
2007年 | 25篇 |
2006年 | 33篇 |
2005年 | 29篇 |
2004年 | 29篇 |
2003年 | 23篇 |
2002年 | 30篇 |
2001年 | 20篇 |
2000年 | 37篇 |
1999年 | 16篇 |
1998年 | 13篇 |
1997年 | 24篇 |
1996年 | 10篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1989年 | 1篇 |
1985年 | 1篇 |
排序方式: 共有378条查询结果,搜索用时 15 毫秒
101.
102.
The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics. 相似文献
103.
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. 相似文献
104.
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
105.
Creating collective intention through dialogue 总被引:1,自引:0,他引:1
106.
Max A. Freund 《Journal of Philosophical Logic》2007,36(5):571-598
We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal
quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the
language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism
is the philosophical background of the semantic system. 相似文献
107.
Lawrence S. Moss 《Journal of Philosophical Logic》2007,36(6):605-640
This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from
formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229–237, 1975). There are two ways in
which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh
used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113–118, 1981). The point is to develop a general model-construction
method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and
in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section
we explore the connection. 相似文献
108.
109.
《Journal of Applied Logic》2014,12(4):558-569
In this paper we introduce a new deductive framework for analyzing processes displaying a kind of controlled monotonicity. In particular, we prove the cut-elimination theorem for a calculus involving series-parallel structures over partial orders which is built up from multi-level sequents, an interesting variant of Gentzen-style sequents. More broadly, our purpose is to provide a general, syntactical tool for grasping the combinatorics of non-monotonic processes. 相似文献
110.
Ben Martin 《Australasian journal of philosophy》2015,93(1):61-75
This paper first offers a standard modal extension of dialetheic logics that respect the normal semantics for negation and conjunction, in an attempt to adequately model absolutism, the thesis that there are true contradictions at metaphysically possible worlds. It is shown, however, that the modal extension has unsavoury consequences for both absolutism and dialetheism. While the logic commits the absolutist to dialetheism, it commits the dialetheist to the impossibility of the actual world. A new modal logic AV is then proposed which avoids these unsavoury consequences by invalidating the interdefinability rules for the modal operators with the use of two valuation relations. However, while using AV carries no significant cost for the absolutist, the same isn't true for the dialetheist. Although using AV allows her to avoid the consequence that the actual world is an impossible world, it does so only on the condition that the dialetheist admits that she cannot give a dialetheic solution to all self-referential semantic paradoxes. Thus, unless there are any further available modal logics that don't commit her to the impossibility of the actual world, the dialetheist is faced with a dilemma. Either admit that the actual world is an impossible world, or admit that her research programme cannot give a comprehensive solution to the self-referential paradoxes. 相似文献