Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies

DOI10.1016/S1570-8683(03)00002-8zbMath1032.03002OpenAlexW1978230007WikidataQ114655358 ScholiaQ114655358MaRDI QIDQ1414569

Miloš Arsenijević

Publication date: 4 December 2003

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1570-8683(03)00002-8

zbMATH Keywords

PeriodsAxiomatic systemsInstantsQuine's sloganSyntactical and semantical differencesTime topologyVan Benthem's proclamation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Tense logic and time
• Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
• Intervals and tenses
• Axioms for tense logic. II: Time periods
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Interval semantics for tense logic: Some remarks
• An `almost classical' period-based tense logic
• Expressiveness and completeness of an interval tense logic
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• The Elementary Theory of Interval Real Numbers
• On Intervals in Relational Structures

This page was built for publication: Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies