Self-referential justifications in epistemic logic (Q987374): Difference between revisions

@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen systems for modal logic
@@ Property / cites work: Gentzen systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Active agents
@@ Property / cites work: Active agents / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the reflected logic of proofs
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Justified Knowledge
@@ Property / cites work: Self-referentiality of Justified Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Evidence Reconstruction of Epistemic Modal Logic S5
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296507
@@ Property / cites work: Q4296507 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Normal Modal Propositional Logics
+Normal rank