PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329): Difference between revisions

@@ Property / cites work @@
+Decidability and expressiveness for first-order logics of probability
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+KI 2003: Advances in Artificial Intelligence
@@ Property / cites work: KI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Model Theory
@@ Property / cites work: Finite Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Best Possible Inequalities for the Probability of a Logical Function of Events
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some first-order probability logics
@@ Property / cites work: Some first-order probability logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and guarded characterisation theorems over finite transition systems
+Normal rank