Effective semantics for the modal logics K and KT via non-deterministic matrices

DOI10.1007/978-3-031-10769-6_28OpenAlexW4289104051MaRDI QIDQ2104537

Yoni Zohar, Ori Lahav

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_28

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Application of modal logic to programming
• Handbook of philosophical logic. Vol. 6
• A unified semantic framework for fully structural propositional sequent systems
• Modal semantics without possible worlds
• Finite non-deterministic semantics for some modal systems
• Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
• Modular non-deterministic semantics for T, TB, S4, S5 and more

This page was built for publication: Effective semantics for the modal logics K and KT via non-deterministic matrices