The Complexity of One-Agent Refinement Modal Logic (Q2915064): Difference between revisions

@@ Property / author @@
-Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
-Normal rank
@@ Property / author @@
+Hans P. van Ditmarsch
@@ Property / author: Hans P. van Ditmarsch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-33353-8_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1557270390
@@ Property / OpenAlex ID: W1557270390 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
+Normal rank
@@ Property / cites work @@
+Q4449214
@@ Property / cites work: Q4449214 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Information: Quantifying over Epistemic Events
+Normal rank
@@ Property / cites work @@
+Q2904048
@@ Property / cites work: Q2904048 / rank @@
+Normal rank