Fitting, Melvin Tableau methods of proof for modal logics. (English) Zbl 0184.28102 Notre Dame J. Formal Logic 13, 237-247 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 27 Documents MSC: 03B45 Modal logic (including the logic of norms) Keywords:general logic PDFBibTeX XMLCite \textit{M. Fitting}, Notre Dame J. Formal Logic 13, 237--247 (1972; Zbl 0184.28102) Full Text: DOI