Decidability for some justification logics with negative introspection (Q5300069): Difference between revisions

@@ Property / cites work @@
+On Realization of -modality by Evidence Terms
@@ Property / cites work: On Realization of -modality by Evidence Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for common knowledge
@@ Property / cites work: Justifications for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Referential logic of proofs
@@ Property / cites work: Referential logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Reference Constructions in the Single-conclusion Proof Logic
+Normal rank
@@ Property / cites work @@
+The single-conclusion proof logic and inference rules specification
+Normal rank
@@ Property / cites work @@
+Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs and provability
@@ Property / cites work: Logic of proofs and provability / rank @@
+Normal rank