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

DOI10.1007/BF01874701zbMATH Open0469.03019OpenAlexW2043770150MaRDI QIDQ1156790FDOQ1156790

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• An algebraic study of tense logics with linear time
• Model theory for modal logic. I: The de re / de dicto distinction
• Normal modal model theory
• Model theory for tense logics

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)