A Complexity Question in Justification Logic

DOI10.1007/978-3-642-20920-8_7zbMath1271.03025OpenAlexW1523023475MaRDI QIDQ3003343

Antonis Achilleos

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_7

zbMATH Keywords

computational complexitysatisfiabilityjustification logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Lower complexity bounds in justification logic

This page was built for publication: A Complexity Question in Justification Logic