Document Open Access Logo

Axiomatizing Propositional Dependence Logics

Authors Katsuhiko Sano, Jonni Virtema



PDF
Thumbnail PDF

File

LIPIcs.CSL.2015.292.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)
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.
Keywords
  • propositional dependence logic
  • modal dependence logic
  • axiomatization
  • tableau calculus

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail