Generalized Modal Satisfiability
From MaRDI portal
Publication:5449825
DOI10.1007/11672142_41zbMath1136.68408MaRDI QIDQ5449825
Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor, Michael Bauland
Publication date: 19 March 2008
Published in: STACS 2006 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11672142_41
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
Related Items
On the applicability of Post's lattice, The complexity of satisfiability for fragments of hybrid logic. I., The complexity of circumscriptive inference in Post's lattice, Generalized modal satisfiability, Lewis dichotomies in many-valued logics, The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I