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 QIDQ2104537FDOQ2104537
Authors: Ori Lahav, Yoni Zohar 
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_28
Recommendations
- scientific article; zbMATH DE number 3878899
- Effective completeness theorems for modal logic
- Approximations of modal logics: \(\mathbf K\) and beyond
- Kripke semantics for modal bilattice logic
- Kripke semantics for modal substructural logics
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- On effective deduction theorems in normal modal logics
- Kripke-style semantics of orthomodular logics
- scientific article; zbMATH DE number 1163927
- On the lattice of extensions of the modal logics \(KAlt_ n\)
Cites Work
- A unified semantic framework for fully structural propositional sequent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of philosophical logic. Vol. 6
- Title not available (Why is that?)
- Application of modal logic to programming
- Title not available (Why is that?)
- 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
Cited In (2)
This page was built for publication: Effective semantics for the modal logics K and KT via non-deterministic matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104537)
