Model theory for tense logics

DOI10.1016/0003-4843(75)90003-0MaRDI QIDQ4063120zbMATH OpenOpenAlexFDO

Authors Dov Gabbay

Publication date 1975

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(75)90003-0

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99) Model theory (03C99)

Cited in

(11)

• Interval logics with applications to study of tense and aspect in English
• A study of some tense logics by Gentzen's sequential method
• Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
• A complete logic for reasoning about programs via nonstandard model theory. II
• An algebraic study of tense operators on Nelson algebras
• A categorical equivalence for tense Nelson algebras
• `Now' and `then' in tense logic
• On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
• Tense systems with discrete moments of time. I
• Axiomatising first-order temporal logic: Until and since over linear time
• Logic and time

This page was built for publication: Model theory for tense logics

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