Decidable Elementary Modal Logics

DOI10.1109/LICS.2012.59zbMath1364.03033MaRDI QIDQ2986825

Jan Otop, Jakub Michaliszyn

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

modal logic; decidability; elementary logic

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)