Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399): Difference between revisions

@@ Property / cites work @@
+INTUITIONISTIC EPISTEMIC LOGIC
@@ Property / cites work: INTUITIONISTIC EPISTEMIC LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+A henkin-style completeness proof for the modal logic S5
+Normal rank
@@ Property / cites work @@
+Formalized meta-theory of sequent calculi for substructural logics
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+The Independence of Markov's Principle in Type Theory.
+Normal rank
@@ Property / cites work @@
+Constructive Completeness for Modal Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+Completeness and decidability results for CTL in constructive type theory
+Normal rank
@@ Property / cites work @@
+Completeness theorems for first-order logic analysed in constructive type theory
+Normal rank
@@ Property / cites work @@
+Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq
+Normal rank
@@ Property / cites work @@
+Does the deduction theorem fail for modal logic?
@@ Property / cites work: Does the deduction theorem fail for modal logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and complexity bounds for intuitionistic epistemic logic
+Normal rank
@@ Property / cites work @@
+Q6060676
@@ Property / cites work: Q6060676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
+Normal rank
@@ Property / cites work @@
+Q4552747
@@ Property / cites work: Q4552747 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions
+Normal rank
@@ Property / cites work @@
+Q5149160
@@ Property / cites work: Q5149160 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order intuitionistic epistemic logic
@@ Property / cites work: First-order intuitionistic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank