Effective semantics for the modal logics K and KT via non-deterministic matrices
From MaRDI portal
Publication:2104537
Recommendations
- scientific article; zbMATH DE number 3878899
- Effective completeness theorems for modal logic
- Approximations of modal logics: 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
- scientific article; zbMATH DE number 3848604 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 1852926 (Why is no real title available?)
- A unified semantic framework for fully structural propositional sequent systems
- Application of modal logic to programming
- Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
- Finite non-deterministic semantics for some modal systems
- Handbook of philosophical logic. Vol. 6
- Handbook of satisfiability. In 2 parts
- Modal semantics without possible worlds
- Modular non-deterministic semantics for T, TB, S4, S5 and more
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
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)
