Constructing situations and time
From MaRDI portal
Publication:543532
DOI10.1007/S10992-010-9155-1zbMATH Open1231.03030OpenAlexW1967095934MaRDI QIDQ543532FDOQ543532
Authors: Tim Fernando
Publication date: 17 June 2011
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-010-9155-1
Recommendations
Cites Work
- Maintaining knowledge about temporal intervals
- Title not available (Why is that?)
- Model theory
- STRIPS: A new approach to the application of theorem proving to problem solving
- Actions and Events in Interval Temporal Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructible falsity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus for first order discourse representation structures
- On the logic of demonstratives
- Free construction of time from events
- From constructivism to computer science
- The situations we talk about
- Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
- Temporal propositions as vague predicates
- Title not available (Why is that?)
- Situations in LTL as strings
- On constructing instants from events
Cited In (8)
- Situations in LTL as strings
- Tools for constructing chronologies. Crossing disciplinary boundaries
- Refining temporal reference in event structures
- Frames as records
- The situations we talk about
- Title not available (Why is that?)
- Completing the temporal picture
- Eventualities in time. The localization of eventualities in the Platonist and the reductionist picture of time
This page was built for publication: Constructing situations and time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543532)