Tense logic and time

DOI10.1305/ndjfl/1093870515zbMath0536.03008OpenAlexW2035527172MaRDI QIDQ791514

J. F. A. K. van Benthem

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870515

zbMATH Keywords

tense logicphilosophy of timecategorical dualitydiscourse semantics for temporal constructions in natural languageinterval models for timetemporal orders

Mathematics Subject Classification ID

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

Related Items (6)

Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Temporal Aspects of the Dynamics of Knowledge

This page was built for publication: Tense logic and time