Modal semantics without possible worlds
From MaRDI portal
Publication:3936716
Cited In (17)
- Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Non-transitive correspondence analysis
- Propositional logic of supposition and assertion
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Tableau systems for some Ivlev-like (quantified) modal logics
- Correspondence analysis and automated proof-searching for first degree entailment
- Non-deterministic logic of generalized classical truth values
- On non-deterministic functional completeness
- On Ivlev's semantics for modality
- Plurivaluationism, semantic nondeterminism and communication
- Swap structures semantics for Ivlev-like modal logics
- Finite non-deterministic semantics for some modal systems
- On Axioms and Rexpansions
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)