Axioms for tense logic. II: Time periods

DOI10.1305/ndjfl/1093870150zbMath0452.03022OpenAlexW2027456138WikidataQ114598298 ScholiaQ114598298MaRDI QIDQ1148309

John P. Burgess

Publication date: 1982

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

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

zbMATH Keywords

tense logicaxiomatization

Mathematics Subject Classification ID

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

Related Items (5)

The power of temporal proofs ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Axioms for tense logic. II: Time periods