Intuitionistic tense and modal logic
From MaRDI portal
Publication:3754596
DOI10.2307/2273953zbMath0618.03004MaRDI QIDQ3754596
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273953
completeness; decidability; Kripke models; intuitionistic modal logic; intuitionistic tense logic; intuitionistic tense structure; states-of-knowledge
03B45: Modal logic (including the logic of norms)
Related Items
The intuitionistic temporal logic of dynamical systems, Unnamed Item, Proof-theoretical investigation of temporal logic with time gaps, Modes of adjointness, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Algebraic axiomatization of tense intuitionistic logic, Constructive modal logics. I, Intuitionistic hybrid logic: introduction and survey, Constructive linear-time temporal logic: proof systems and Kripke semantics, Axioms for classical, intuitionistic, and paraconsistent hybrid logic, An algebraic axiomatization of the Ewald's intuitionistic tense logic, Dynamic order algebras as an axiomatization of modal and tense logics, Towards constructive DL for abstraction and refinement, 2-sequent calculus: A proof theory of modalities, A uniform tableau method for intuitionistic modal logics. I, Propositional lax logic, Tense operators in fuzzy logic, Galois connections and tense operators on q-effect algebras, Subdirectly irreducible IKt-algebras, Maehara-style modal nested calculi, Fibrational modal type theory, On graphs for intuitionistic modal logics, Principal and Boolean congruences on \(IKt\)-algebras, Intuitionism and the modal logic of vagueness, An algebraic study of tense operators on Nelson algebras, A categorical equivalence for tense Nelson algebras, Three-valued temporal logic \(Q_t\) and future contingents, Discovering knowability: a semantic analysis, Intuitionistic hybrid logic
Cites Work