Journal of the ACM Bibliography

Michael Tiomkin and Michael Kaminski. Nonmonotonic default modal logics. Journal of the ACM, 38(4):963-984, October 1991. [BibTeX entry]

Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving -- nonmonotonic reasoning and belief revision; I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods

General Terms: Theory

Additional Key Words and Phrases: Deduction theorem for modal logic, modal logic

Selected papers that cite this one

Grigori Schwarz and Miroslaw Truszczynski. Nonmonotonic reasoning is sometimes simpler! Journal of Logic and Computation, 6(2):295-308, April 1996.

Selected references

Drew McDermott. Nonmonotonic logic II: Nonmonotonic modal theories. Journal of the ACM, 29(1):33-57, January 1982.

Shortcuts:

Journal of the ACM homepage

Bibliography top level

Journal of the ACM Author Index

Search the HBP database