Deciding some displayable modal logics
Jinsheng Chen
TL;DR
This paper demonstrates the decidability of normal modal logic K and certain extensions using display calculus, providing a systematic proof method for these logical systems.
Contribution
It introduces a display calculus approach to establish decidability results for modal logic K and its extensions, advancing proof techniques in modal logic.
Findings
Decidability of modal logic K proved using display calculus
Decidability results for some extensions of K
Systematic proof method for modal logic decidability
Abstract
In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Logic, programming, and type systems