THE LOGIC OF JUSTIFICATION (Q3580683): Difference between revisions

@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Impossible possible worlds vindicated
@@ Property / cites work: Impossible possible worlds vindicated / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of Proofs and Labels with a Complete Set of Operations
+Normal rank
@@ Property / cites work @@
+Q4757531
@@ Property / cites work: Q4757531 / rank @@
+Normal rank
@@ Property / cites work @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Active agents
@@ Property / cites work: Active agents / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / 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 @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / 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 @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / 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 @@
+Referential logic of proofs
@@ Property / cites work: Referential logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The single-conclusion proof logic and inference rules specification
+Normal rank
@@ Property / cites work @@
+On the complexity of the reflected logic of proofs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020308090060
+Normal rank
@@ Property / OpenAlex ID @@
+W2104288836
@@ Property / OpenAlex ID: W2104288836 / rank @@
+Normal rank