Interval logics with applications to study of tense and aspect in English

DOI10.2977/prims/1195187212zbMath0446.03012OpenAlexW1985585750MaRDI QIDQ1145690

Hirokazu Nishimura

Publication date: 1980

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195187212

zbMATH Keywords

semantical completenessanalysis of tenses in Englishinterval logicstense logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Prior and temporal sequences for natural language, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi

Cites Work

• On Some Completeness Theorems in Modal Logic
• Model theory for tense logics
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item