Constructing situations and time
From MaRDI portal
Publication:543532
DOI10.1007/s10992-010-9155-1zbMath1231.03030OpenAlexW1967095934MaRDI QIDQ543532
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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- On the logic of demonstratives
- Situations in LTL as strings
- On constructing instants from events
- Free construction of time from events
- From constructivism to computer science
- Model theory
- A calculus for first order discourse representation structures
- STRIPS: A new approach to the application of theorem proving to problem solving
- Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
- Actions and Events in Interval Temporal Logic
- Temporal Propositions as Vague Predicates
- Constructible falsity
This page was built for publication: Constructing situations and time