Intuitionistic tense and modal logic

DOI10.2307/2273953zbMATH Open0618.03004OpenAlexW2033025891MaRDI QIDQ3754596FDOQ3754596

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

Recommendations

• Models for normal intuitionistic modal logics
• scientific article; zbMATH DE number 1418447
• scientific article; zbMATH DE number 1303434
• scientific article
• Constructive modal logics. I

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Cited In (47)

• Propositional lax logic
• Maehara-style modal nested calculi
• Tense operators on distributive lattices with implication
• Discovering knowability: a semantic analysis
• A categorical equivalence for tense Nelson algebras
• Models for normal intuitionistic modal logics
• Fibrational modal type theory
• Title not available (Why is that?)
• Algebraic axiomatization of tense intuitionistic logic
• Intuitionism and the modal logic of vagueness
• An algebraic study of tense operators on Nelson algebras
• Three-valued temporal logic \(Q_t\) and future contingents
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Intuitionistic logic and modality via topology
• On the finite model property of weak intuitionistic tense logic
• An intuitionistically complete system of basic intuitionistic conditional logic
• Intuitionistic hybrid logic
• Ontological argument and infinity in Spinoza's thought
• Termination of derivations for minimal tense logic
• On graphs for intuitionistic modal logics
• A uniform tableau method for intuitionistic modal logics. I
• Principal and Boolean congruences on \(IKt\)-algebras
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Intuitionistic hybrid logic: introduction and survey
• Galois connections and tense operators on q-effect algebras
• Proof-theoretical investigation of temporal logic with time gaps
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Towards constructive DL for abstraction and refinement
• Modes of adjointness
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Subdirectly irreducible IKt-algebras
• Constructive modal logics. I
• The intuitionistic temporal logic of dynamical systems
• 2-sequent calculus: A proof theory of modalities
• In What Sense is J.N. Findlay the Founding Father of Tense-logic?
• A framework for intuitionistic grammar logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• Tense operators in fuzzy logic
• A note on the interpolation property in tense logic
• What is a relevant connective?
• On intuitionistic diamonds (and lack thereof)
• Intuitionistic propositional logic with Galois negations
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Dynamic order algebras as an axiomatization of modal and tense logics

This page was built for publication: Intuitionistic tense and modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3754596)