License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2015.292
URN: urn:nbn:de:0030-drops-54215
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5421/
Go to the corresponding LIPIcs Volume Portal

Sano, Katsuhiko ; Virtema, Jonni

Axiomatizing Propositional Dependence Logics

pdf-format:
18.pdf (0.6 MB)

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.

BibTeX - Entry

@InProceedings{sano_et_al:LIPIcs:2015:5421,
  author =	{Katsuhiko Sano and Jonni Virtema},
  title =	{{Axiomatizing Propositional Dependence Logics}},
  booktitle =	{24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  pages =	{292--307},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-90-3},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{41},
  editor =	{Stephan Kreutzer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5421},
  URN =		{urn:nbn:de:0030-drops-54215},
  doi =		{10.4230/LIPIcs.CSL.2015.292},
  annote =	{Keywords: propositional dependence logic, modal dependence logic, axiomatization, tableau calculus}
}

Keywords: propositional dependence logic, modal dependence logic, axiomatization, tableau calculus
Collection: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Issue Date: 2015
Date of publication: 07.09.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI