2026-08-05T19:48:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5421 2024-03-06T10:36:25Z ddc:004 open_access

Axiomatizing Propositional Dependence Logics Sano, Katsuhiko Virtema, Jonni propositional dependence logic modal dependence logic axiomatization tableau calculus 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Katsuhiko Sano and Jonni Virtema 2015 Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2015.292 urn:nbn:de:0030-drops-54215 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.292 eng https://creativecommons.org/licenses/by/3.0/legalcode