An algebraic study of tense logics with linear time

DOI10.2307/2270049zbMath0155.01403OpenAlexW2069896809MaRDI QIDQ5537602

R. A. Bull

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270049

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (6)

Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ On the problems of time retrieval of temporal relations causality, and coexistence ⋮ Mathematical modal logic: A view of its evolution ⋮ Modal logics that need very large frames ⋮ Tense systems with discrete moments of time. I

This page was built for publication: An algebraic study of tense logics with linear time