Presupposition failure - a comedy of errors (Q1346767): Difference between revisions

@@ Property / cites work @@
+Q3211283
@@ Property / cites work: Q3211283 / rank @@
+Normal rank
@@ Property / cites work @@
+GENERAL DYNAMICS
@@ Property / cites work: GENERAL DYNAMICS / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Dynamic interpretation and Hoare deduction
@@ Property / cites work: Dynamic interpretation and Hoare deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about update logic
@@ Property / cites work: Reasoning about update logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039815
@@ Property / cites work: Q4039815 / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults in update semantics
@@ Property / cites work: Defaults in update semantics / rank @@
+Normal rank