Parameterized Modal Satisfiability
From MaRDI portal
Publication:3587453
DOI10.1007/978-3-642-14162-1_31zbMath1288.03014MaRDI 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
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)