×

Found 7 Documents (Results 1–7)

A new method for testing decision procedures in modal logics. (English) Zbl 1430.68409

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 264-267 (1997).
MSC:  68V15 03B35 03B45
PDFBibTeX XMLCite
Full Text: DOI

Ideal and real belief about belief. (English) Zbl 1419.68119

Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 261-275 (1996).
MSC:  68T27 03B42 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. (English) Zbl 1415.03022

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 583-597 (1996).
MSC:  03B35 03B25 03B45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software