Intuitionistic common knowledge or belief (Q334160): Difference between revisions

@@ Property / cites work @@
+About cut elimination for logics of common knowledge
+Normal rank
@@ Property / cites work @@
+Syntactic cut-elimination for a fragment of the modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
+Normal rank
@@ Property / cites work @@
+Cut-free common knowledge
@@ Property / cites work: Cut-free common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction chains for common knowledge
@@ Property / cites work: Deduction chains for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Common Knowledge Logic in a Higher Order Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic epistemic logic, Kripke models and Fitch's paradox
+Normal rank
@@ Property / cites work @@
+On intuitionistic modal epistemic logic
@@ Property / cites work: On intuitionistic modal epistemic logic / rank @@
+Normal rank