Modal logics with linear alternative relations
From MaRDI portal
Cited in
(22)- A finite axiomatization of the set of strongly valid Ockhamist formulas
- On superintuitionistic logics as fragments of proof logic extensions
- Models for normal intuitionistic modal logics
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Logics and decidability for labelled pre- and partially ordered Kripke structures
- Conditional logics of normality: A modal approach
- A note on the interpolation property in tense logic
- Mathematical modal logic: A view of its evolution
- Abduction as belief revision
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Atoms of tense algebras
- Algebraic signatures enriched by dependency structure
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Free and projective bimodal symmetric Gödel algebras
- In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- A modal walk through space
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- Axiomatizability of propositionally quantified modal logics on relational frames
- Extensions of the provability logic
- Modal logics of domains on the real plane
This page was built for publication: Modal logics with linear alternative relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5643953)
