A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954): Difference between revisions

@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified coalition logic
@@ Property / cites work: Quantified coalition logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified epistemic logics for reasoning about knowledge in multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+What can machines know?
@@ Property / cites work: What can machines know? / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Q4342097
@@ Property / cites work: Q4342097 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Bounded model checking for knowledge and real time
+Normal rank
@@ Property / cites work @@
+MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
@@ Property / cites work: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Q4536335
@@ Property / cites work: Q4536335 / rank @@
+Normal rank
@@ Property / cites work @@
+Common knowledge and quantification
@@ Property / cites work: Common knowledge and quantification / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Model Checking Institutions
@@ Property / cites work: A Framework for Model Checking Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank