A quantitative analysis of modal logic (Q4292605): Difference between revisions

@@ 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.2307/2275262
@@ Property / full work available at URL: https://doi.org/10.2307/2275262 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2051167594
@@ Property / OpenAlex ID: W2051167594 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulation of Bayesian analysis for games with incomplete information
+Normal rank
@@ Property / cites work @@
+Q5819415
@@ Property / cites work: Q5819415 / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Artificial intelligence and mathematics. 1
@@ Property / cites work: Artificial intelligence and mathematics. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank