Merging without mystery or: Variables in dynamics semantics (Q1896789): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469091
@@ Property / cites work: Q3469091 / rank @@
+Normal rank
@@ Property / cites work @@
+GENERAL DYNAMICS
@@ Property / cites work: GENERAL DYNAMICS / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action
@@ Property / cites work: Language in action / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287487
@@ Property / cites work: Q4287487 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for first order discourse representation structures
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequence semantics for dynamic predicate logic
@@ Property / cites work: Sequence semantics for dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental semantics for propositional texts
@@ Property / cites work: Incremental semantics for propositional texts / rank @@
+Normal rank