Fitting, Melvin Proof methods for modal and intuitionistic logics. (English) Zbl 0523.03013 Synthese Library, Vol. 169. Dordrecht - Boston - Lancaster: D. Reidel Publishing Company. VIII, 555 p. $ 65.00; Dfl. 150.00 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 146 Documents MSC: 03B45 Modal logic (including the logic of norms) 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03C35 Categoricity and completeness of theories 03F05 Cut-elimination and normal-form theorems Keywords:modal logic; intuitionistic logic; proof theory; semantic tableaux; Gentzen calculi; natural deduction rules; completeness proofs; cut elimination; interpolation PDF BibTeX XML OpenURL