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

DOI10.1016/S1570-8683(03)00002-8MaRDI QIDQ1414569zbMATH OpenOpenAlexWikidataFDO

Authors 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

Axiomatic systemsInstantsPeriodsQuine'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)

Recommendations

• Concerted instant-interval temporal semantics. I: Temporal ontologies
• scientific article; zbMATH DE number 604725
• Conceptual Structures at Work
• Time representation: A taxonomy of temporal models
• Tense logic and time

Cites work

• An `almost classical' period-based tense logic
• Axioms for tense logic. II: Time periods
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
• Expressiveness and completeness of an interval tense logic
• scientific article; zbMATH DE number 3758292 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• Interval semantics for tense logic: Some remarks
• Intervals and tenses
• On Intervals in Relational Structures
• Tense logic and time
• The Elementary Theory of Interval Real Numbers
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(2)

• scientific article; zbMATH DE number 972580 (Why is no real title available?)
• Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1414569)