Reasoning about proof and knowledge (Q1625594): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2018.10.001
@@ Property / DOI: 10.1016/j.apal.2018.10.001 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2759084708
@@ Property / OpenAlex ID: W2759084708 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06672
@@ Property / arXiv ID: 1709.06672 / 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 @@
+INTUITIONISTIC EPISTEMIC LOGIC
@@ Property / cites work: INTUITIONISTIC EPISTEMIC LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q4630799
@@ Property / cites work: Q4630799 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations into the sentential calculus with identity
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\in_K\): a non-Fregean logic of explicit knowledge
+Normal rank
@@ Property / cites work @@
+Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for a modal logic close to S1
@@ Property / cites work: Algebraic semantics for a modal logic close to S1 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal logic amalgam of classical and intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
+Normal rank
@@ Property / cites work @@
+Epistemic extensions of combined classical and intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5416147
@@ Property / cites work: Q5416147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065517
@@ Property / cites work: Q4065517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771733
@@ Property / cites work: Q2771733 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129160643
@@ Property / Wikidata QID: Q129160643 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2018.10.001
@@ Property / DOI: 10.1016/J.APAL.2018.10.001 / rank @@
+Normal rank