Generalized Modal Satisfiability
From MaRDI portal
Publication:5449825
DOI10.1007/11672142_41zbMath1136.68408OpenAlexW1528600100MaRDI QIDQ5449825
Henning Schnoor, Edith Hemaspaandra, 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
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45)
Related Items (7)
The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I ⋮ Lewis dichotomies in many-valued logics ⋮ The complexity of satisfiability for fragments of hybrid logic. I. ⋮ On the applicability of Post's lattice ⋮ The complexity of circumscriptive inference in Post's lattice ⋮ Generalized modal satisfiability ⋮ The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
This page was built for publication: Generalized Modal Satisfiability
