全文获取类型
收费全文 | 977篇 |
免费 | 23篇 |
国内免费 | 9篇 |
专业分类
1009篇 |
出版年
2023年 | 6篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 16篇 |
2019年 | 12篇 |
2018年 | 7篇 |
2017年 | 6篇 |
2016年 | 33篇 |
2015年 | 10篇 |
2014年 | 20篇 |
2013年 | 49篇 |
2012年 | 9篇 |
2011年 | 5篇 |
2010年 | 10篇 |
2009年 | 47篇 |
2008年 | 75篇 |
2007年 | 77篇 |
2006年 | 62篇 |
2005年 | 76篇 |
2004年 | 60篇 |
2003年 | 61篇 |
2002年 | 60篇 |
2001年 | 46篇 |
2000年 | 65篇 |
1999年 | 40篇 |
1998年 | 34篇 |
1997年 | 36篇 |
1996年 | 25篇 |
1995年 | 21篇 |
1994年 | 7篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 4篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有1009条查询结果,搜索用时 0 毫秒
871.
Gert -Jan C. Lokhorst 《Studia Logica》1996,57(1):221-237
We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge. 相似文献
872.
Paul McNamara 《Studia Logica》1996,57(1):167-192
On the traditional deontic framework, what is required (what morality demands) and what is optimal (what morality recommends) can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory (exceeding morality's demands), one of its proper subclasses, cannot be. The morally indifferent, another proper subclass of the optional-one obviously disjoint from the supererogatory-is also not representable. Ditto for the permissibly suboptimal and the morally significant. Finally, the minimum that morality allows finds no place in the traditional scheme. With a focus on the question, “What would constitute a hospitable logical neighborhood for the concept of supererogation?”, I present and motivate an enriched logical and semantic framework for representing all these concepts of common sense morality. 相似文献
873.
A Propositional Dynamic Logic with Qualitative Probabilities 总被引:1,自引:0,他引:1
This paper presents an -completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (D Q P), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg. 相似文献
874.
We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given. 相似文献
875.
876.
877.
878.
879.
XU Zhaoqing 《Frontiers of Philosophy in China》2015,10(2):298
As a byproduct of solving the surprise-exam paradox, Saul Kripke formulates a “dogmatism paradox” which seems to show that knowledge entails dogmatism. In this paper, the author analyzes the nature of the dogmatism paradox from a logical dynamical perspective. The author suggests that the dogmatism paradox is better understood as a paradox of knowledge attribution rather than of knowledge. Therefore, the dogmatism paradox could be solved without sacrificing the principle of epistemic closure. Based on a famous version of relevant alternatives theory, the author formalizes a logic of knowledge attribution in the style of logical dynamics, namely, public retraction logic, and analyzes how knowledge attributions are retracted with the expansion of relevant alternatives. 相似文献
880.
A Modal Sortal Logic 总被引:1,自引:1,他引:0
An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. 相似文献