Recommendations
Cites work
Cited in
(61)- On a generalization of Heyting algebras. I
- Propositional lax logic
- Modal expansions of ririgs
- Maehara-style modal nested calculi
- Discovering knowability: a semantic analysis
- Tense operators on distributive lattices with implication
- A categorical equivalence for tense Nelson algebras
- Models for normal intuitionistic modal logics
- Fibrational modal type theory
- De Morgan algebras with tense operators
- Algebraic axiomatization of tense intuitionistic logic
- scientific article; zbMATH DE number 5234118 (Why is no real title available?)
- 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
- Algebraic structures formalizing the logic of quantum mechanics incorporating time dimension
- Intuitionistic logic and modality via topology
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- On the finite model property of weak intuitionistic tense logic
- Characterization of subdirectly irreducible Heyting algebras with negative tense operators
- Intuitionistic hybrid logic
- Ontological argument and infinity in Spinoza's thought
- Termination of derivations for minimal tense logic
- On graphs for intuitionistic modal logics
- An intuitionistically complete system of basic intuitionistic conditional logic
- A uniform tableau method for intuitionistic modal logics. I
- The characterization of Nelson algebras by Sheffer stroke
- Compatibility between modal operators in distributive modal logic
- 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
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Modes of adjointness
- Towards constructive DL for abstraction and refinement
- An alternative definition of tense operators on residuated lattices
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Proof-theoretical investigation of temporal logic with time gaps
- Two-dimensional Kripke semantics i: presheaves
- Subdirectly irreducible IKt-algebras
- Constructive modal logics. I
- 2-sequent calculus: A proof theory of modalities
- Intuitionistic monotone modal logic via translation
- The intuitionistic temporal logic of dynamical systems
- In What Sense is J.N. Findlay the Founding Father of Tense-logic?
- On tense bounded Hilbert algebras with supremum
- A decidable intuitionistic temporal logic
- Reference and perspective in intuitionistic logics
- A framework for intuitionistic grammar logics
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Tense operators in fuzzy logic
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- scientific article; zbMATH DE number 3993544 (Why is no real title available?)
- A note on the interpolation property in tense logic
- What is a relevant connective?
- On Heyting algebras with negative tense operators. II.
- 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
- On intuitionistic diamonds (and lack thereof)
- Minimal modal logics, constructive modal logics and their relations
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)