A Complexity Question in Justification Logic
From MaRDI portal
Publication:3003343
DOI10.1007/978-3-642-20920-8_7zbMath1271.03025MaRDI QIDQ3003343
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
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
Related Items