More on bounding introspection in modal nonmonotonic logics

DOI10.1007/S101140000086zbMath0963.03049OpenAlexW1965476946MaRDI QIDQ5925949

Ding, Decheng, Zhao, Xishun

Publication date: 12 March 2001

Published in: Acta Mathematica Sinica. English Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s101140000086

zbMATH Keywords

bounding introspectiondefault clausesmodal logicnonmonotonic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cites Work

• An approach to default reasoning based on a first-order conditional logic: Revised report
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: More on bounding introspection in modal nonmonotonic logics