Palm, Adi Model theoretic syntax and parsing: an application to temporal logic. (English) Zbl 1263.68169 Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 261-273 (2004). MSC: 68T50 03B44 03B65 PDFBibTeX XMLCite \textit{A. Palm}, Electron. Notes Theor. Comput. Sci. 53, 261--273 (2004; Zbl 1263.68169) Full Text: DOI
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