Does the deduction theorem fail for modal logic? (Q383061): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6232160
@@ Property / zbMATH DE Number: 6232160 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deduction theorem
@@ Property / zbMATH Keywords: deduction theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ 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.1007/s11229-011-9905-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2134929682
@@ Property / OpenAlex ID: W2134929682 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction theorem in a functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+Strict implication, deducibility and the deduction theorem
+Normal rank
@@ Property / cites work @@
+Natural deduction for non-classical logics
@@ Property / cites work: Natural deduction for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+What is an inference rule?
@@ Property / cites work: What is an inference rule? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5335309
@@ Property / cites work: Q5335309 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective completeness theorems for modal logic
@@ Property / cites work: Effective completeness theorems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of ‘formal deduction’
@@ Property / cites work: On the definition of ‘formal deduction’ / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3101107
@@ Property / cites work: Q3101107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962962
@@ Property / cites work: Q3962962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343989
@@ Property / cites work: Q4343989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342088
@@ Property / cites work: Q4342088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817180
@@ Property / cites work: Q4817180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction theorem in S4, S4.2, and S5
@@ Property / cites work: The deduction theorem in S4, S4.2, and S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668435
@@ Property / cites work: Q5668435 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:383061