全文获取类型
收费全文 | 324篇 |
免费 | 6篇 |
国内免费 | 9篇 |
出版年
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条查询结果,搜索用时 46 毫秒
131.
It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme x x. 相似文献
132.
The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi. 相似文献
133.
The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure. 相似文献
134.
Some logical properties of modal languages in which actuality is expressible are investigated. It is argued that, if a sentence
like 'Actually, Quine is a distinguished philosopher' is understood as a special case of world-indexed sentences (the index
being the actual world), then actuality can be expressed only under strong modal assumptions. Some rival rigid and indexical
approaches to actuality are discussed.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
135.
136.
The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain. 相似文献
137.
In dynamic epistemic logic and other fields, it is natural to consider relativization as an operator taking sentences to sentences. When using the ideas and methods of dynamic logic, one would like to iterate operators. This leads to iterated relativization. We are also concerned with the transitive closure operation, due to its connection to common knowledge. We show that for three fragments of the logic of iterated relativization and transitive closure, the satisfiability problems are fi1 11–complete. Two of these fragments do not include transitive closure. We also show that the question of whether a sentence in these fragments has a finite (tree) model is fi0 01–complete. These results go via reduction to problems concerning domino systems. 相似文献
138.
139.
140.
Cut-free double sequent calculus for S5 总被引:2,自引:0,他引:2