Pages that link to "Item:Q3754596"
From MaRDI portal
The following pages link to Intuitionistic tense and modal logic (Q3754596):
Displayed 29 items.
- Modes of adjointness (Q484110) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Dynamic order algebras as an axiomatization of modal and tense logics (Q904480) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Propositional lax logic (Q1368378) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Galois connections and tense operators on q-effect algebras (Q1677935) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Intuitionism and the modal logic of vagueness (Q1986078) (← links)
- An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- Three-valued temporal logic \(Q_t\) and future contingents (Q2426728) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- (Q4963134) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)