Modal semantics without possible worlds
From MaRDI portal
Cited in
(26)- Propositional logic of supposition and assertion
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Swap structures semantics for Ivlev-like modal logics
- Correspondence analysis and automated proof-searching for first degree entailment
- Finite non-deterministic semantics for some modal systems
- Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- On Axioms and Rexpansions
- Non-transitive correspondence analysis
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- On non-deterministic functional completeness
- Non-deterministic logic of generalized classical truth values
- Tableau systems for some Ivlev-like (quantified) modal logics
- Plurivaluationism, semantic nondeterminism and communication
- On Ivlev's semantics for modality
- The modal cube revisited: semantics without worlds
- A modal axiomatization of \(\mathbf{BK}\)
- A Gödel-Dugundji-style theorem for the minimal structural logic
- RNmatrices for modal logics
- and in eight-valued non-deterministic semantics for modal logics
- Modal logics -- RNmatrices vs. Nmatrices
- Nondeterministic first-order T-BAT logic
- K and KT: an analytic non-deterministic view
- Boolean and modal connectives as primitives in non-deterministic semantics
This page was built for publication: Modal semantics without possible worlds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936716)
