Tense Logic and Ontology of Time

Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021 (2021)
  Copy   BIBTEX

Abstract

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.

Author's Profile

Avril Styrman
University of Helsinki

Analytics

Added to PP
2021-10-17

Downloads
145 (#75,319)

6 months
63 (#60,122)

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?