Demri, S. Efficient strategies for automated reasoning in modal logics. (English) Zbl 0988.03508 MacNish, Craig (ed.) et al., Logics in artificial intelligence. European Workshop JELIA ’94, York, GB, September 5-8, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 838, 182-197 (1994). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{S. Demri}, Lect. Notes Comput. Sci. 838, 182--197 (1994; Zbl 0988.03508)
Catach, Laurent TABLEAUX: A general theorem prover for modal logics. (English) Zbl 0743.03008 J. Autom. Reasoning 7, No. 4, 489-510 (1991). MSC: 03B35 03-04 68T15 03B45 PDFBibTeX XMLCite \textit{L. Catach}, J. Autom. Reasoning 7, No. 4, 489--510 (1991; Zbl 0743.03008) Full Text: DOI
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A. Advanced theorem-proving techniques for relevant logics. (English) Zbl 0612.03011 Logique Anal., Nouv. Sér. 28, 233-256 (1985). Reviewer: W.Carnielli MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{P. B. Thistlewaite} et al., Log. Anal., Nouv. Sér. 28, 233--256 (1985; Zbl 0612.03011)
McRobbie, Michael A.; Thistlewaite, Paul B.; Meyer, Robert K. A mechanized decision procedure for non-classical logics: The program KRIPKE. (English) Zbl 0453.03002 Bull. Sect. Logic, Pol. Acad. Sci. 9, 189-192 (1980). MSC: 03-04 03B25 03B45 68T15 PDFBibTeX XMLCite \textit{M. A. McRobbie} et al., Bull. Sect. Logic, Pol. Acad. Sci. 9, 189--192 (1980; Zbl 0453.03002)