Pages that link to "Item:Q5643953"
From MaRDI portal
The following pages link to Modal logics with linear alternative relations (Q5643953):
Displaying 22 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Extensions of the provability logic (Q793006) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Abduction as belief revision (Q1855234) (← links)
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals (Q2398203) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- Algebraic Signatures Enriched by Dependency Structure (Q2890335) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals (Q3451170) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
