LIPIcs.CSL.2015.292.pdf
- Filesize: 0.57 MB
- 16 pages
Document
Axiomatizing Propositional Dependence Logics
Authors
-
Part of:
Volume:
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-09-07
Cite As Get BibTex
Katsuhiko Sano and Jonni Virtema. Axiomatizing Propositional Dependence Logics. In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, pp. 292-307, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.CSL.2015.292
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.
Subject Classification
Keywords
- propositional dependence logic
- modal dependence logic
- axiomatization
- tableau calculus
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, and Heribert Vollmer. Extended modal dependence logic. In WoLLIC, pages 126-137, 2013.
-
Johannes Ebbing and Peter Lohmann. Complexity of model checking for modal dependence logic. In Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, and György Turán, editors, SOFSEM, volume 7147 of Lecture Notes in Computer Science, pages 226-237. Springer, 2012.
-
Johannes Ebbing, Peter Lohmann, and Fan Yang. Model checking for modal intuitionistic dependence logic. In Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, and Frank Richter, editors, Logic, Language, and Computation, volume 7758 of Lecture Notes in Computer Science, pages 231-256. Springer, 2013.
-
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, and Jonni Virtema. The expressive power of modal dependence logic. In AiML 2014, 2014.
-
Jarmo Kontinen. Coherence and Complexity in Fragments of Dependence Logic. PhD thesis, University of Amsterdam, 2010.
-
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, and Heribert Vollmer. A van benthem theorem for modal team semantics. CSL, 2015.
-
Katsuhiko Sano and Jonni Virtema. Characterizing frame definability in team semantics via the universal modality. In Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, and Anjolina G. de Oliveira, editors, Logic, Language, Information, and Computation, volume 9160 of Lecture Notes in Computer Science, pages 140-155. Springer Berlin Heidelberg, 2015.
-
Merlijn Sevenster. Model-theoretic and computational properties of modal dependence logic. J. Log. Comput., 19(6):1157-1173, 2009.
-
Jouko Väänänen. Dependence Logic - A New Approach to Independence Friendly Logic, volume 70 of London Mathematical Society student texts. Cambridge University Press, 2007.
-
Jouko Väänänen. Modal dependence logic. In Krzysztof R. Apt and Robert van Rooij, editors, New Perspectives on Games and Interaction, volume 4 of Texts in Logic and Games, pages 237-254. Amsterdam University Press, 2008.
-
Jonni Virtema. Complexity of validity for propositional dependence logics. In GandALF 2014, 2014.
-
Fan Yang. On Extensions and Variants of Dependence Logic. PhD thesis, University of Helsinki, 2014.
-
Fan Yang and Jouko A. Väänänen. Propositional logics of dependence and independence, part i. arXiv:1412.7998, 2014.