A modal provability logic of explicit and implicit proofs (Q636278): Difference between revisions

@@ 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.1016/j.apal.2009.07.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2019330722
@@ Property / OpenAlex ID: W2019330722 / 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 @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477944
@@ Property / cites work: Q5477944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / 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 @@
+Justification logics and hybrid logics
@@ Property / cites work: Justification logics and hybrid logics / 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 @@
+Feasible operations on proofs: the logic of proofs for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs and provability
@@ Property / cites work: Logic of proofs and provability / rank @@
+Normal rank