Modal semantics without possible worlds
From MaRDI portal
Publication:3936716
DOI10.2307/2273259zbMath0479.03011OpenAlexW2109773523MaRDI QIDQ3936716
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
modal logicfour-valued logicvaluationnecessityimpossibilitynecessary truthcontingent falsitycontingent truthnatural deduction versionsnecessary falsity
Related Items
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, Correspondence analysis and automated proof-searching for first degree entailment, Propositional logic of supposition and assertion, Finite non-deterministic semantics for some modal systems, Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’, Non-transitive correspondence analysis, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Swap structures semantics for Ivlev-like modal logics, Effective semantics for the modal logics K and KT via non-deterministic matrices, On Axioms and Rexpansions
Cites Work
