Model theory for tense logic: Saturated and special models with applications to the tense hierarchy

DOI10.1007/BF01874701MaRDI QIDQ1156790zbMATH OpenOpenAlexFDO

Authors Hirokazu Nishimura

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01874701

zbMATH Keywords

saturated modelspreservation theoremsspecial modelstense complexity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• An algebraic study of tense logics with linear time
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Model theory for modal logic. I: The de re / de dicto distinction
• Model theory for tense logics
• Normal modal model theory

This page was built for publication: Model theory for tense logic: Saturated and special models with applications to the tense hierarchy

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