Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław Modal nonmonotonic logics: Ranges, characterization, computation. (English) Zbl 0783.68121 J. Assoc. Comput. Mach. 40, No. 4, 963-990 (1993). MSC: 68T30 68T15 PDFBibTeX XMLCite \textit{V. W. Marek} et al., J. Assoc. Comput. Mach. 40, No. 4, 963--990 (1993; Zbl 0783.68121) Full Text: DOI
Tiomkin, Michael; Kaminski, Michael Nonmonotonic default modal logics. (English) Zbl 0799.68174 J. Assoc. Comput. Mach. 38, No. 4, 963-984 (1991). MSC: 68T99 03B45 PDFBibTeX XMLCite \textit{M. Tiomkin} and \textit{M. Kaminski}, J. Assoc. Comput. Mach. 38, No. 4, 963--984 (1991; Zbl 0799.68174) Full Text: DOI
Marek, Wiktor; Truszczynski, Miroslaw Autoepistemic logic. (English) Zbl 0799.68176 J. Assoc. Comput. Mach. 38, No. 3, 588-619 (1991). MSC: 68T27 68N17 03B45 68T15 68Q25 PDFBibTeX XMLCite \textit{W. Marek} and \textit{M. Truszczynski}, J. Assoc. Comput. Mach. 38, No. 3, 588--619 (1991; Zbl 0799.68176) Full Text: DOI