An algebraic study of tense logics with linear time
From MaRDI portal
Recommendations
- An algebraic approach to temporal logic
- Algebraic axiomatization of tense intuitionistic logic
- scientific article; zbMATH DE number 6287569
- Results on alternating-time temporal logics with linear past
- Tense logics over lattices
- scientific article; zbMATH DE number 1848280
- Alternating-time temporal logics with linear past
- A note on a subvariety of linear tense algebras
- Intuitionistic linear temporal logics
- The axiomatization of propositional linear time temporal logic
Cited in
(12)- Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
- Mathematical modal logic: A view of its evolution
- Tense systems with discrete moments of time. I
- scientific article; zbMATH DE number 1882007 (Why is no real title available?)
- scientific article; zbMATH DE number 1416396 (Why is no real title available?)
- Algebraic and logical characterizations of deterministic linear time classes
- On the problems of time retrieval of temporal relations causality, and coexistence
- Modal logics that need very large frames
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- scientific article; zbMATH DE number 7723711 (Why is no real title available?)
- Algebraic axiomatization of tense intuitionistic logic
- Strong completeness of a first-order temporal logic for real time
This page was built for publication: An algebraic study of tense logics with linear time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5537602)
