Constructing situations and time
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1028823 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 783772 (Why is no real title available?)
- scientific article; zbMATH DE number 1442964 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 2222020 (Why is no real title available?)
- scientific article; zbMATH DE number 3051937 (Why is no real title available?)
- A calculus for first order discourse representation structures
- Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
- Actions and Events in Interval Temporal Logic
- Constructible falsity
- Free construction of time from events
- From constructivism to computer science
- Maintaining knowledge about temporal intervals
- Model theory
- On constructing instants from events
- On the logic of demonstratives
- STRIPS: A new approach to the application of theorem proving to problem solving
- Situations in LTL as strings
- Temporal propositions as vague predicates
- The situations we talk about
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
- scientific article; zbMATH DE number 1536558 (Why is no real title available?)
- 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)