Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681): Difference between revisions

@@ 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 @@
+Global and Local Graph Modifiers
@@ Property / cites work: Global and Local Graph Modifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Learning and Teaching as a Game: A Sabotage Approach
+Normal rank
@@ Property / cites work @@
+Connectivity games over dynamic networks
@@ Property / cites work: Connectivity games over dynamic networks / rank @@
+Normal rank
@@ Property / cites work @@
+ARROW UPDATE LOGIC
@@ Property / cites work: ARROW UPDATE LOGIC / rank @@
+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 @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A Game Theoretic Approach to the Analysis of Dynamic Networks
+Normal rank