Miika Hannula - Validity and Entailment in Modal and Propositional Dependence Logics

lmcs:4215 - Logical Methods in Computer Science, April 26, 2019, Volume 15, Issue 2 - https://doi.org/10.23638/LMCS-15(2:4)2019
Validity and Entailment in Modal and Propositional Dependence Logics

Authors: Miika Hannula

    The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic. Thus far, however, the validity and entailment properties of these logics have remained mostly unaddressed. This paper provides a comprehensive classification of the complexity of validity and entailment in various modal and propositional dependence logics. The logics examined are obtained by extending the standard modal and propositional logics with notions of dependence, independence, and inclusion in the team semantics context. In particular, we address the question of the complexity of validity in modal dependence logic. By showing that it is NEXPTIME-complete we refute an earlier conjecture proposing a higher complexity for the problem.

    Volume: Volume 15, Issue 2
    Published on: April 26, 2019
    Accepted on: January 31, 2019
    Submitted on: January 17, 2018
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,F.4.1

    Linked data

    Source : ScholeXplorer IsPartOf DOI 10.4230/lipics.csl.2017
    • 10.4230/lipics.csl.2017
    LIPIcs, Volume 82, CSL'17, Complete Volume
    Goranko, Valentin ; Dam, Mads ;

    Consultation statistics

    This page has been seen 521 times.
    This article's PDF has been downloaded 253 times.