Axiomatizing Propositional Dependence Logics

Authors Katsuhiko Sano, Jonni Virtema

Thumbnail PDF


  • Filesize: 0.57 MB
  • 16 pages

Document Identifiers

Author Details

Katsuhiko Sano
Jonni Virtema

Cite AsGet 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)


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.
  • propositional dependence logic
  • modal dependence logic
  • axiomatization
  • tableau calculus


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. 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. Google Scholar
  2. 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. Google Scholar
  3. 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. Google Scholar
  4. Lauri Hella, Kerkko Luosto, Katsuhiko Sano, and Jonni Virtema. The expressive power of modal dependence logic. In AiML 2014, 2014. Google Scholar
  5. Jarmo Kontinen. Coherence and Complexity in Fragments of Dependence Logic. PhD thesis, University of Amsterdam, 2010. Google Scholar
  6. Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, and Heribert Vollmer. A van benthem theorem for modal team semantics. CSL, 2015. Google Scholar
  7. 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. Google Scholar
  8. Merlijn Sevenster. Model-theoretic and computational properties of modal dependence logic. J. Log. Comput., 19(6):1157-1173, 2009. Google Scholar
  9. 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. Google Scholar
  10. 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. Google Scholar
  11. Jonni Virtema. Complexity of validity for propositional dependence logics. In GandALF 2014, 2014. Google Scholar
  12. Fan Yang. On Extensions and Variants of Dependence Logic. PhD thesis, University of Helsinki, 2014. Google Scholar
  13. Fan Yang and Jouko A. Väänänen. Propositional logics of dependence and independence, part i. arXiv:1412.7998, 2014. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail