Complexity Results for Modal Dependence Logic
From MaRDI portal
Publication:3586056
DOI10.1007/978-3-642-15205-4_32zbMath1270.03048OpenAlexW1573233002MaRDI QIDQ3586056
Heribert Vollmer, Peter Lohmann
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2010/2524/
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)
Related Items
Complexity of Model Checking for Modal Dependence Logic ⋮ Complexity results for modal dependence logic ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Transition semantics: the dynamics of dependence logic