Propositional dynamic logic for searching games with errors (Q472791): Difference between revisions

@@ Property / cites work @@
+Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
+Normal rank
@@ Property / cites work @@
+A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Standard Gödel modal logics
@@ Property / cites work: Standard Gödel modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A stochastic interpretation of propositional dynamic logic: expressivity
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaus for many-valued modal logic
@@ Property / cites work: Tableaus for many-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about games
@@ Property / cites work: Reasoning about games / rank @@
+Normal rank
@@ Property / cites work @@
+MV-algebras: a variety for magnitudes with archimedean units
+Normal rank
@@ Property / cites work @@
+Extending maps to profinite completions in finitely generated quasivarieties
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460679
@@ Property / cites work: Q4460679 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified software: Theories, tools, experiments. Second international conference, VSTTE 2008, Toronto, Canada, October 6--9, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845316
@@ Property / cites work: Q4845316 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Modal Propositional Calculi
@@ Property / cites work: Many-Valued Modal Propositional Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Searching games with errors -- fifty years of coping with liars
+Normal rank
@@ Property / cites work @@
+Q4121861
@@ Property / cites work: Q4121861 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank