Intuitionistic tense and modal logic

DOI10.2307/2273953zbMath0618.03004OpenAlexW2033025891MaRDI QIDQ3754596

William Bragg Ewald

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

zbMATH Keywords

completenessdecidabilityKripke modelsintuitionistic modal logicintuitionistic tense logicintuitionistic tense structurestates-of-knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

On the finite model property of weak intuitionistic tense logic, Axioms for classical, intuitionistic, and paraconsistent hybrid logic, Ontological argument and infinity in Spinoza's thought, What is a relevant connective?, Unnamed Item, Propositional lax logic, Tense operators in fuzzy logic, Galois connections and tense operators on q-effect algebras, Subdirectly irreducible IKt-algebras, An algebraic axiomatization of the Ewald's intuitionistic tense logic, Tense operators on distributive lattices with implication, Three-valued temporal logic \(Q_t\) and future contingents, Dynamic order algebras as an axiomatization of modal and tense logics, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, A framework for intuitionistic grammar logics, Intuitionistic propositional logic with Galois negations, Discovering knowability: a semantic analysis, Algebraic axiomatization of tense intuitionistic logic, Modes of adjointness, Maehara-style modal nested calculi, Fibrational modal type theory, On graphs for intuitionistic modal logics, Intuitionism and the modal logic of vagueness, Proof-theoretical investigation of temporal logic with time gaps, 2-sequent calculus: A proof theory of modalities, Towards constructive DL for abstraction and refinement, The intuitionistic temporal logic of dynamical systems, An algebraic study of tense operators on Nelson algebras, Intuitionistic hybrid logic, Principal and Boolean congruences on \(IKt\)-algebras, Constructive modal logics. I, Intuitionistic hybrid logic: introduction and survey, Constructive linear-time temporal logic: proof systems and Kripke semantics, A proof-theoretic approach to negative translations in intuitionistic tense logics, A uniform tableau method for intuitionistic modal logics. I, A categorical equivalence for tense Nelson algebras

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Unnamed Item