The modal cube revisited: semantics without worlds

DOI10.1007/978-3-032-06085-3_10MaRDI QIDQ6860386zbMATH OpenFDO

Authors Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo E. Coniglio

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-06085-3_10

zbMATH Keywords

modal logics semanticsnon deterministic matrices

Mathematics Subject Classification ID

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

Cites work

• 8 valued non-deterministic semantics for modal logics
• and in eight-valued non-deterministic semantics for modal logics
• A pure view of ecumenical modalities
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• A tour on ecumenical systems (invited talk)
• Ecumenical modal logic
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Finite non-deterministic semantics for some modal systems
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• Modal logic with non-deterministic semantics. I: Propositional case
• Modal logics -- RNmatrices vs. Nmatrices
• Modal semantics without possible worlds
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Non-deterministic Multiple-valued Structures
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Programming and symbolic computation in Maude
• RNmatrices for modal logics
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics

Cited in

(1)

• K and KT: an analytic non-deterministic view

This page was built for publication: The modal cube revisited: semantics without worlds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860386)