4,147 research outputs found
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual
states, designated by so-called nominals. We study hybrid logic in the broad
context of coalgebraic semantics, where Kripke frames are replaced with
coalgebras for a given functor, thus covering a wide range of reasoning
principles including, e.g., probabilistic, graded, default, or coalitional
operators. Specifically, we establish generic criteria for a given coalgebraic
hybrid logic to admit named canonical models, with ensuing completeness proofs
for pure extensions on the one hand, and for an extended hybrid language with
local binding on the other. We instantiate our framework with a number of
examples. Notably, we prove completeness of graded hybrid logic with local
binding
Completeness of Flat Coalgebraic Fixpoint Logics
Modal fixpoint logics traditionally play a central role in computer science,
in particular in artificial intelligence and concurrency. The mu-calculus and
its relatives are among the most expressive logics of this type. However,
popular fixpoint logics tend to trade expressivity for simplicity and
readability, and in fact often live within the single variable fragment of the
mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL,
and the logic of common knowledge. Extending this notion to the generic
semantic framework of coalgebraic logic enables covering a wide range of logics
beyond the standard mu-calculus including, e.g., flat fragments of the graded
mu-calculus and the alternating-time mu-calculus (such as alternating-time
temporal logic ATL), as well as probabilistic and monotone fixpoint logics. We
give a generic proof of completeness of the Kozen-Park axiomatization for such
flat coalgebraic fixpoint logics.Comment: Short version appeared in Proc. 21st International Conference on
Concurrency Theory, CONCUR 2010, Vol. 6269 of Lecture Notes in Computer
Science, Springer, 2010, pp. 524-53
Judgment aggregation in general logics
Within social choice theory, the new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Commonly, judgment aggregation is studied using standard propositional logic, with a limited expressive power and a problematic representation of conditional statements ('if P then Q') as material conditionals. In this methodological paper, I present a generalised model, in which most realistic decision problems can be represented. The model is not restricted to a particular logic but is open to several logics, including standard propositional logic, predicate calculi, modal logics and conditional logics. To illustrate the model, I prove an impossibility theorem, which generalises earlier results.judgement aggregation, discursive dilemma, modelling methodology, formal logics, impossibility theorem
Relevant Logics Obeying Component Homogeneity
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues
First-order Goedel logics
First-order Goedel logics are a family of infinite-valued logics where the
sets of truth values V are closed subsets of [0, 1] containing both 0 and 1.
Different such sets V in general determine different Goedel logics G_V (sets of
those formulas which evaluate to 1 in every interpretation into V). It is shown
that G_V is axiomatizable iff V is finite, V is uncountable with 0 isolated in
V, or every neighborhood of 0 in V is uncountable. Complete axiomatizations for
each of these cases are given. The r.e. prenex, negation-free, and existential
fragments of all first-order Goedel logics are also characterized.Comment: 37 page
- …