The Logic of Justification (Q2971696): Difference between revisions

@@ Property / author @@
-Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
-Normal rank
@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
+Normal rank
@@ 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.1007/978-3-319-20451-2_32
+Normal rank
@@ Property / OpenAlex ID @@
+W4242562094
@@ Property / OpenAlex ID: W4242562094 / rank @@
+Normal rank
@@ Property / cites work @@
+Justified and Common Knowledge: Limited Conservativity
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q3447197
@@ Property / cites work: Q3447197 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Logic of Proofs
@@ Property / cites work: Symmetric Logic of Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Omniscience Via Proof Complexity
@@ Property / cites work: Logical Omniscience Via Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283226
@@ Property / cites work: Q4283226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / 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 @@
+From the knowability paradox to the existence of proofs
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / 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 @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813904
@@ Property / cites work: Q5813904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Proofs in Formal Provability Logic
@@ Property / cites work: Explicit Proofs in Formal Provability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Active agents
@@ Property / cites work: Active agents / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible possible worlds vindicated
@@ Property / cites work: Impossible possible worlds vindicated / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+On the complexity of the reflected logic of proofs
+Normal rank
@@ Property / cites work @@
+The single-conclusion proof logic and inference rules specification
+Normal rank
@@ Property / cites work @@
+Referential logic of proofs
@@ Property / cites work: Referential logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753686
@@ Property / cites work: Q2753686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203717
@@ Property / cites work: Q5203717 / rank @@
+Normal rank
@@ Property / cites work @@
+Evidence Reconstruction of Epistemic Modal Logic S5
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in modal logic
@@ Property / cites work: An essay in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent Explicit Knowledge
@@ Property / cites work: Multi-agent Explicit Knowledge / rank @@
+Normal rank