Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies
From MaRDI portal
Publication:1414569
DOI10.1016/S1570-8683(03)00002-8zbMath1032.03002WikidataQ114655358 ScholiaQ114655358MaRDI QIDQ1414569
Publication date: 4 December 2003
Published in: Journal of Applied Logic (Search for Journal in Brave)
Periods; Axiomatic systems; Instants; Quine's slogan; Syntactical and semantical differences; Time topology; Van Benthem's proclamation
03A05: Philosophical and critical aspects of logic and foundations
03B30: Foundations of classical theories (including reverse mathematics)
03B44: Temporal logic
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