All proper normal extensions of S5-square have the polynomial size model property

DOI10.1023/A:1023383112908zbMath1027.03015OpenAlexW1584589847MaRDI QIDQ1810814

Nick Bezhanishvili, Maarten Marx

Publication date: 9 June 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023383112908

zbMATH Keywords

modal logicbimodal logicnormal extensionpoly-size model property

Mathematics Subject Classification ID

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

Related Items (4)

WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ A logic of ``black box classifier systems ⋮ All normal extensions of S5-squared are finitely axiomatizable ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete

This page was built for publication: All proper normal extensions of S5-square have the polynomial size model property