Effective semantics for the modal logics K and KT via non-deterministic matrices
From MaRDI portal
Publication:2104537
DOI10.1007/978-3-031-10769-6_28OpenAlexW4289104051MaRDI QIDQ2104537
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_28
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
