Tense logic and time
From MaRDI portal
Publication:791514
DOI10.1305/ndjfl/1093870515zbMath0536.03008MaRDI QIDQ791514
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
tense logic; philosophy of time; categorical duality; discourse semantics for temporal constructions in natural language; interval models for time; temporal orders
03B45: Modal logic (including the logic of norms)
Related Items
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge, Temporal Aspects of the Dynamics of Knowledge, Temporal representation and reasoning in artificial intelligence: A review, Formulas expressing totally nonstable truth values of formulas, Temporal logic with accessibility temporal relations generated by time states themselves, Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies