Constructing situations and time

DOI10.1007/s10992-010-9155-1zbMath1231.03030OpenAlexW1967095934MaRDI QIDQ543532

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

zbMATH Keywords

typesnatural language semanticseventssituationsstrings of observationstemporal granularity

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (1)

Frames as Records

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructing situations and time