Axiomatizing propositional dependence logics

DOI10.4230/LIPICS.CSL.2015.292MaRDI QIDQ5351964zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano, Jonni Virtema

Publication date 31 August 2017

Full work available at URL https://arxiv.org/abs/1410.5038

zbMATH Keywords

axiomatizationmodal dependence logicpropositional dependence logictableau calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Abstract: 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.

Recommendations

• Propositional logics of dependence
• Complexity of validity for propositional dependence logics
• Modal dependence logics: axiomatizations and model-theoretic properties
• Model-theoretic and computational properties of modal dependence logic

Cited in

(18)

• Team semantics for interventionist counterfactuals: observations vs. interventions
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• Axiomatizations of team logics
• Propositional logics of dependence
• Complexity of Propositional Independence and Inclusion Logic
• Structural completeness in propositional logics of dependence
• Axiomatizing first-order consequences in dependence logic
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• Characterizing quantifier extensions of dependence logic
• Logics for propositional determinacy and independence
• scientific article; zbMATH DE number 7318985 (Why is no real title available?)
• Modal dependence logics: axiomatizations and model-theoretic properties
• Expressivity and Complexity of Dependence Logic
• Axiomatizations for propositional and modal team logic
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)
• Uniform definability in propositional dependence logic
• Bounded inquisitive logics: sequent calculi and schematic validity
• A sound and complete axiomatization of embedded cross dependencies

This page was built for publication: Axiomatizing propositional dependence logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5351964)