Parameterized Modal Satisfiability
From MaRDI portal
Publication:3587453
DOI10.1007/978-3-642-14162-1_31zbMATH Open1288.03014OpenAlexW1676460682MaRDI QIDQ3587453
Michael Lampis, Valia Mitsou, Antonis Achilleos
Publication date: 7 September 2010
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-58600
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45)
Related Items (3)
Generalized Modal Satisfiability ⋮ Title not available (Why is that?) ⋮ Modal Satisfiability via SMT Solving
This page was built for publication: Parameterized Modal Satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587453)
