LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Botti Benevides, Alessander; Masolo, Claudio (2014)
Publisher: IOS Press
Languages: English
Types: Conference object
Subjects: ontology, events, time, change
In the last decade, the debate about the ontological foundations of reified temporal logics (RTLs) has been relatively quiet, even though we think some problems still exist. In this paper, we identify some of these problems and propose (partial) solutions to them in a FOL framework. States are here characterized (at the syntactic level) as truth-makers of propositions-they reify true propositions-and events are built from states. These choices make the event-state distinction much crisper than the one characterized in terms of the (meta-)predicates HOLDS vs. OCCURS, which are necessary in RTLs but not in our theory. We also offer some epistemological arguments in favor of this choice.

Share - Bookmark

Cite this article

Collected from