Reasoning about update logic (Q1344850): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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 @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Dynamic interpretation and Hoare deduction
@@ Property / cites work: Dynamic interpretation and Hoare deduction / 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 @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Splittings and the finite model property
@@ Property / cites work: Splittings and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults in update semantics
@@ Property / cites work: Defaults in update semantics / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01052729
+Normal rank
@@ Property / OpenAlex ID @@
+W1581244363
@@ Property / OpenAlex ID: W1581244363 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1344850