Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.04.005
@@ Property / DOI: 10.1016/j.tcs.2004.04.005 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / 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 @@
+Algebraic polymodal logic: a survey
@@ Property / cites work: Algebraic polymodal logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511251
@@ Property / cites work: Q4511251 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge in multiagent systems
@@ Property / cites work: Knowledge in multiagent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843716
@@ Property / cites work: Q2843716 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511250
@@ Property / cites work: Q4511250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536333
@@ Property / cites work: Q4536333 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.04.005
@@ Property / DOI: 10.1016/J.TCS.2004.04.005 / rank @@
+Normal rank