Probabilistic Epistemic Updates on Algebras (Q3457689): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2294005481
@@ Property / OpenAlex ID: W2294005481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2939553
@@ Property / cites work: Q2939553 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Bilattices
@@ Property / cites work: Epistemic Updates on Bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Canonicity results for mu-calculi: an algorithmic approach
+Normal rank
@@ Property / cites work @@
+Probabilistic Epistemic Updates on Algebras
@@ Property / cites work: Probabilistic Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Unified Correspondence
@@ Property / cites work: Unified Correspondence / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Algebraic modal correspondence: Sahlqvist and beyond
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+A proof-theoretic semantic analysis of dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for propositional dynamic logic
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic Displayed
@@ Property / cites work: Dynamic Epistemic Logic Displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic dynamic epistemic logic
@@ Property / cites work: Probabilistic dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Algebras
@@ Property / cites work: Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics and model completeness for intuitionistic public announcement logic
+Normal rank
@@ Property / cites work @@
+Jónsson-style canonicity for ALBA-inequalities
@@ Property / cites work: Jónsson-style canonicity for ALBA-inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist theory for impossible worlds
@@ Property / cites work: Sahlqvist theory for impossible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636308
@@ Property / cites work: Q4636308 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic update with probabilities
@@ Property / cites work: Dynamic update with probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+From classical to intuitionistic probability
@@ Property / cites work: From classical to intuitionistic probability / rank @@
+Normal rank