排序方式: 共有189条查询结果,搜索用时 31 毫秒
31.
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core
structure of the logic ADM
c
(Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy
is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle.
The results obtained are proven to be equivalent to a standard majority operator for bases with partial support. 相似文献
32.
The logic BKc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in BKc1 with a negationconnective. The aim of this paper is to define the logic BKc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that BKc1 and BKc1F are definitionally equivalent. 相似文献
33.
Alberto Zanardo 《Studia Logica》2006,82(3):379-400
Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics
for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories,
which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics
will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics. 相似文献
34.
Willem Blok and Modal Logic 总被引:1,自引:0,他引:1
We present our personal view on W.J. Blok's contribution to modal logic. 相似文献
35.
Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative.
Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and
being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary
relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives.
The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. 相似文献
36.
The pure implicational and the multiplicative fragments of arange of propositional relevant (and other) logics are shownto have the property that any two formulas equivalent in sucha logic are constructed from exactly the same propositionalvariables as opposed to merely having (as the definitionof relevance itself would require) some propositional variablein common. 相似文献
37.
Petr Hájek 《Studia Logica》2009,91(3):367-382
Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic.
Presented are some generalizations of Shapiro’s formal apparatus.
Presented by Daniele Mundici 相似文献
38.
39.
George Voutsadakis 《Studia Logica》2007,85(2):215-249
Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first
is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of
these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated.
Presented by Josep Maria Font 相似文献
40.
Lou Goble 《Studia Logica》2007,85(2):171-197
The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain
substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In
particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms
to the basic positive relevant logic B∘T, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural
logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself.
Presented by Rob Goldblatt 相似文献