The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327): Difference between revisions

@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Clues to the paradoxes of knowability: reply to Dummett and Tennant
+Normal rank
@@ Property / cites work @@
+Victor's error
@@ Property / cites work: Victor's error / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of some value concepts
@@ Property / cites work: A logical analysis of some value concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+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 @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247025
@@ Property / cites work: Q4247025 / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457385
@@ Property / cites work: Q5457385 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic epistemic logic, Kripke models and Fitch's paradox
+Normal rank
@@ Property / cites work @@
+Fitch's paradox and ceteris paribus modalities
@@ Property / cites work: Fitch's paradox and ceteris paribus modalities / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on the Knowability Paradox
@@ Property / cites work: New Essays on the Knowability Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Proof and Paradox
@@ Property / cites work: Proof and Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239945
@@ Property / cites work: Q4239945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
+Normal rank