Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
From MaRDI portal
Publication:1156790
DOI10.1007/BF01874701zbMath0469.03019OpenAlexW2043770150MaRDI QIDQ1156790
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01874701
Modal logic (including the logic of norms) (03B45) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40)
Cites Work