Modal logics with linear alternative relations
From MaRDI portal
Publication:5643953
DOI10.1111/j.1755-2567.1970.tb00429.xzbMath0235.02019OpenAlexW2043855341MaRDI QIDQ5643953
Publication date: 1971
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1970.tb00429.x
Related Items (21)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Logics and decidability for labelled pre- and partially ordered Kripke structures ⋮ Conditional logics of normality: A modal approach ⋮ Algebraic Signatures Enriched by Dependency Structure ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ Models for normal intuitionistic modal logics ⋮ Atoms of tense algebras ⋮ A note on the interpolation property in tense logic ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Mathematical modal logic: A view of its evolution ⋮ A ModalWalk Through Space ⋮ Extensions of the provability logic ⋮ Modal logics of domains on the real plane ⋮ Abduction as belief revision ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas
This page was built for publication: Modal logics with linear alternative relations
