Model theory for tense logics

DOI10.1016/0003-4843(75)90003-0zbMath0307.02014OpenAlexW2127464101MaRDI QIDQ4063120

Dov M. 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) Model theory (03C99) General logic (03B99)

Related Items

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, Logic and time, `Now' and `then' in tense logic, An algebraic study of tense operators on Nelson algebras, 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, A categorical equivalence for tense Nelson algebras