Tense Logic and Ontology of Time

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge Co-Located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Onto (2021)
Download Edit this record How to cite View on PhilPapers
This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to the ontology of time.
PhilPapers/Archive ID
Upload history
Archival date: 2022-04-28
View other versions
Added to PP

25 (#70,839)

6 months
19 (#42,973)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?