Lohmann, Peter ;
Vollmer, Heribert
Complexity Results for Modal Dependence Logic
Abstract
Modal dependence logic was introduced very recently by Väänänen. It
enhances the basic modal language by an operator dep. For propositional
variables p_1,...,p_n, dep(p_1,...,p_(n1);p_n) intuitively states that
the value of p_n only depends on those of p_1,...,p_(n1). Sevenster (J.
Logic and Computation, 2009) showed that satisfiability for modal
dependence logic is complete for nondeterministic exponential time.
In this paper we consider fragments of modal dependence logic obtained
by restricting the set of allowed propositional connectives. We show
that satisfibility for poor man's dependence logic, the language
consisting of formulas built from literals and dependence atoms using
conjunction, necessity and possibility (i.e., disallowing disjunction),
remains NEXPTIMEcomplete. If we only allow monotone formulas (without
negation, but with disjunction), the complexity drops to
PSPACEcompleteness. We also extend Väänänen's language by allowing
classical disjunction besides dependence disjunction and show that the
satisfiability problem remains NEXPTIMEcomplete. If we then disallow
both negation and dependence disjunction, satistiability is complete for
the second level of the polynomial hierarchy.
In this way we completely classify the computational complexity of the
satisfiability problem for all restrictions of propositional and
dependence operators considered by Väänänen and Sevenster.
BibTeX  Entry
@InProceedings{lohmann_et_al:DSP:2010:2524,
author = {Peter Lohmann and Heribert Vollmer},
title = {Complexity Results for Modal Dependence Logic},
booktitle = {Circuits, Logic, and Games},
year = {2010},
editor = {Benjamin Rossman and Thomas Schwentick and Denis Th{\'e}rien and Heribert Vollmer},
number = {10061},
series = {Dagstuhl Seminar Proceedings},
ISSN = {18624405},
publisher = {Schloss Dagstuhl  LeibnizZentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2524},
annote = {Keywords: Dependence logic, satisfiability problem, computational complexity, poor man's logic}
}
Keywords: 

Dependence logic, satisfiability problem, computational complexity, poor man's logic 
Seminar: 

10061  Circuits, Logic, and Games

Issue date: 

2010 
Date of publication: 

26.04.2010 