{"type":"ScholarlyArticle","title":"On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents","authors":[{"name":"Alexander Bochman","slug":"alexander-bochman","given":"Alexander","family":"Bochman","affiliation":""}],"abstract":"We study a bimodal nonmonotonic logic MBNF suggested in [1ifschitz, 1994] as a generalization of a number of nonmonotonic formalisms . We show first that it is equivalent to a certain nonmodal system involving rules of a special kind . Next , it is shown that the latter admits a modal representation that uses only one modal operator, the ope rator of belief. Moreover, under this translation , the models of MBNF correspond to §-expansions of the associated modal nonmonotonic logic. Finally, we show that, as far as such models are concerned, MBNF is reducible to nonmodal default consequence relations from [Bochman, 1994]. These results have general consequences concerning relationship between different formalizations of nonmonotonic reasoning.","doi":null,"url":"https://ijcai.org/proceedings/1995/196","pdf":"https://ijcai.org/proceedings/1995/0196.pdf","markdown":"https://ijcai.org/proceedings/1995/196.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/196","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Non-monotonic Reasoning","track":"Non-monotonic Reasoning","number":196,"pages":{"first":1518,"last":1523},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}