Minimal model semantics for nonmonotonic modal logics
作者： G. Schwarz
关键词:
摘要: Intuitively clear Kripke-style semantics for nonmonotonic modal logic are provided. Minimal model is defined, and soundness completeness of the logics proved. It shown how looks some most popular or interesting logics. Applications to finding expansions comparing based on different monotonic presented. A few examples using obtaining intuitively proofs results given. >
sci-hub.se 参考文章(22)
Vladimir Lifschitz, Nonmonotonic databases and epistemic queries international joint conference on artificial intelligence. pp. 381- 386 ,(1991)
Miroslaw Truszczyński, Grigori Schwarz, Modal logic S4F and the minimal knowledge paradigm theoretical aspects of rationality and knowledge. pp. 184- 198 ,(1992)
Miroslaw Truszczynzki, Modal interpretations of default logic international joint conference on artificial intelligence. pp. 393- 398 ,(1991)
Joseph Y. Halpern, Moshe Y. Vardi, Model checking vs. theorem proving: a manifesto Artificial intelligence and mathematical theory of computation. pp. 151- 176 ,(1991) , 10.1016/B978-0-12-450010-5.50015-3
Grigori Schwarz, Autoepistemic Logic of Knowledge. logic programming and non-monotonic reasoning. pp. 260- 274 ,(1991)
Yoav Shoham, Nonmonotonic logics: meaning and utility international joint conference on artificial intelligence. pp. 388- 393 ,(1987)
Jon Doyle, Drew McDermott, An introduction to nonmonotonic logic international joint conference on artificial intelligence. pp. 562- 567 ,(1979)
Miroslaw Truszczynski, V. Wiktor Marek, Grigori F. Shvarts, Modal nonmonotonic logics: ranges, characterization, computation principles of knowledge representation and reasoning. pp. 395- 404 ,(1991)
Frans Voorbraak, The Logic of Objective Knowledge and Rational Belief JELIA '90 Proceedings of the European workshop on Logics in AI. pp. 499- 515 ,(1990) , 10.1007/BFB0018462
Yoav Shoham, Fangzhen Lin, Epistemic Semantics for Fixed-Points Non-Monotonic Logics theoretical aspects of rationality and knowledge. pp. 111- 120 ,(1990)