A note on the complexity of S4.2
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2021.1901560
Abstract: is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical logic, where it has been advocated… read more here.
Keywords: modal depth; note complexity; modal logic; complexity ... See more keywords