全文获取类型
收费全文 | 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条查询结果,搜索用时 15 毫秒
171.
172.
In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind. 相似文献
173.
We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain minimal canonical form, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. 相似文献
174.
175.
176.
In this paper, we are going to analyze the phenomenon of modal incompleteness from an algebraic point of view. The usual method of showing that a given logic L is incomplete is to show that for some
L and some
cannot be separated from by a suitably wide class of complete algebras — usually Kripke algebras. We are going to show that classical examples of incomplete logics, e.g., Fine logic, are not complete with respect to any class of complete BAOs. Even above Grz it is possible to find a continuum of such logics, which immediately implies the existence of a continuum of neighbourhood-incomplete Grz logics. Similar results can be proved for Löb logics. In addition, completely incomplete logics above Grz may be found uniformly as a result of failures of some admissible rule of a special kind. 相似文献
177.
178.
Anandi Hattiangadi 《Canadian journal of philosophy》2018,48(3-4):592-615
AbstractIt is widely held, even among nonnaturalists, that the moral supervenes on the natural. This is to say that for any two metaphysically possible worlds w and w′, and for any entities x in w and y in w′, any isomorphism between x and y that preserves the natural properties preserves the moral properties. In this paper, I put forward a conceivability argument against moral supervenience, assuming non-naturalism. First, I argue that though utilitarianism may be true, and the trolley driver is permitted to kill the one to save the five, there is a conceivable scenario that is just like our world in all natural respects, yet at which deontology is true, and the trolly driver is not permitted to kill the one to save the five. I then argue that in the special case of morality, it is possible to infer from the conceivability of such a scenario to its possibility. It follows that supervenience is false. 相似文献
179.
Sharon Berry 《Canadian journal of philosophy》2018,48(2):200-222
Since Benacerraf’s ‘What Numbers Could Not Be,’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work of both these elements can be done by a single natural generalization of the logical possibility operator. 相似文献
180.