Constructing situations and time (Q543532): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B65
@@ Property / Mathematics Subject Classification ID: 03B65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5909309
@@ Property / zbMATH DE Number: 5909309 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+situations
@@ Property / zbMATH Keywords: situations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+events
@@ Property / zbMATH Keywords: events / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal granularity
@@ Property / zbMATH Keywords: temporal granularity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strings of observations
@@ Property / zbMATH Keywords: strings of observations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural language semantics
@@ Property / zbMATH Keywords: natural language semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+types
@@ Property / zbMATH Keywords: types / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-010-9155-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1967095934
@@ Property / OpenAlex ID: W1967095934 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Situations in LTL as strings
@@ Property / cites work: Situations in LTL as strings / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Propositions as Vague Predicates
@@ Property / cites work: Temporal Propositions as Vague Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for first order discourse representation structures
+Normal rank
@@ Property / cites work @@
+On the logic of demonstratives
@@ Property / cites work: On the logic of demonstratives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843182
@@ Property / cites work: Q4843182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791197
@@ Property / cites work: Q5791197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734947
@@ Property / cites work: Q2734947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342086
@@ Property / cites work: Q4342086 / rank @@
+Normal rank
@@ Property / cites work @@
+On constructing instants from events
@@ Property / cites work: On constructing instants from events / rank @@
+Normal rank
@@ Property / cites work @@
+Free construction of time from events
@@ Property / cites work: Free construction of time from events / rank @@
+Normal rank
@@ Property / cites work @@
+From constructivism to computer science
@@ Property / cites work: From constructivism to computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5700814
@@ Property / cites work: Q5700814 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:543532