Modal semantics without possible worlds

DOI10.2307/2273259zbMATH Open0479.03011OpenAlexW2109773523MaRDI QIDQ3936716FDOQ3936716

Authors John T. Kearns 

Publication date 1981

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273259

zbMATH Keywords

modal logicvaluationnecessityfour-valued logicimpossibilitynecessary truthcontingent falsitycontingent truthnatural deduction versionsnecessary falsity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

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)