×

Found 4 Documents (Results 1–4)

A uniform tableaux method for nonmonotonic modal logics. (English) Zbl 1427.03037

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 87-103 (1996).
MSC:  03B45 03B35 68T27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software