157 research outputs found
Dependence Logic with Generalized Quantifiers: Axiomatizations
We prove two completeness results, one for the extension of dependence logic
by a monotone generalized quantifier Q with weak interpretation, weak in the
meaning that the interpretation of Q varies with the structures. The second
result considers the extension of dependence logic where Q is interpreted as
"there exists uncountable many." Both of the axiomatizations are shown to be
sound and complete for FO(Q) consequences.Comment: 17 page
Axiomatizations for Propositional and Modal Team Logic
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K. Complete axiomatizations for their team-based extensions, propositional team logic PTL and modal team logic MTL, are presented
Axiomatizing propositional dependence logics
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled calculi
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
Structural completeness in propositional logics of dependence
In this paper we prove that three of the main propositional logics of
dependence (including propositional dependence logic and inquisitive logic),
none of which is structural, are structurally complete with respect to a class
of substitutions under which the logics are closed. We obtain an analogues
result with respect to stable substitutions, for the negative variants of some
well-known intermediate logics, which are intermediate theories that are
closely related to inquisitive logic
- …