Copy and remove as dynamic operators (Q5861999): Difference between revisions

@@ Property / cites work @@
+What will they say? -- Public announcement games
@@ Property / cites work: What will they say? -- Public announcement games / rank @@
+Normal rank
@@ Property / cites work @@
+Moving Arrows and Four Model Checking Results
@@ Property / cites work: Moving Arrows and Four Model Checking Results / rank @@
+Normal rank
@@ Property / cites work @@
+Swap logic
@@ Property / cites work: Swap logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-changing modal operators: Fig. 1.
@@ Property / cites work: Relation-changing modal operators: Fig. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability for relation-changing logics
@@ Property / cites work: Satisfiability for relation-changing logics / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of relation-changing modal logics
@@ Property / cites work: Undecidability of relation-changing modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with Copy and Remove
@@ Property / cites work: Logics with Copy and Remove / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of copy and remove
@@ Property / cites work: The modal logic of copy and remove / rank @@
+Normal rank
@@ Property / cites work @@
+Global and Local Graph Modifiers
@@ Property / cites work: Global and Local Graph Modifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of sabotage revisited
@@ Property / cites work: Modal logics of sabotage revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Modal Logics with Composition on Finite Forests
@@ Property / cites work: Modal Logics with Composition on Finite Forests / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with communication actions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logics and modalities: a survey
@@ Property / cites work: Separation logics and modalities: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224566
@@ Property / cites work: Q5224566 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of modal separation logics
@@ Property / cites work: The power of modal separation logics / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising logics with separating conjunction and modalities
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logics of introspection
@@ Property / cites work: Dynamic epistemic logics of introspection / rank @@
+Normal rank
@@ Property / cites work @@
+Introspection as an action in relational models
@@ Property / cites work: Introspection as an action in relational models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636294
@@ Property / cites work: Q4636294 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning and Teaching as a Game: A Sabotage Approach
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Losing connection: the modal logic of definable link deletion
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4999223
@@ Property / cites work: Q4999223 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and guarded characterisation theorems over finite transition systems
+Normal rank
@@ Property / cites work @@
+Axiomatizing the logical core of XPath 2.0
@@ Property / cites work: Axiomatizing the logical core of XPath 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Information: Quantifying over Epistemic Events
+Normal rank
@@ Property / cites work @@
+Public announcements, public assignments and the complexity of their logic
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661972
@@ Property / cites work: Q4661972 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Arrow update synthesis
@@ Property / cites work: Arrow update synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Action emulation
@@ Property / cites work: Action emulation / rank @@
+Normal rank
@@ Property / cites work @@
+Composing models
@@ Property / cites work: Composing models / rank @@
+Normal rank