A non-minimal but very weak axiomatization of common belief
作者： Luc Lismont , Philippe Mongin
DOI: 10.1016/0004-3702(94)90111-2
关键词:
摘要: The paper introduces a modal logic system of individual and common belief which is shown to be sound complete with respect version Neighbourhood semantics. This axiomatization the weakest all those currently available: it dispenses even Monotonicity rule belief. It non-minimal in that does not use just Equivalence but conjunction latter specially devised C-Restricted Monotonicity.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(13)
Moshe Y. Vardi, On epistemic logic and logical omniscience theoretical aspects of rationality and knowledge. pp. 293- 305 ,(1986) , 10.1016/B978-0-934613-04-0.50024-7
Ronald Fagin, Joseph Y. Halpern, Belief, awareness, and limited reasoning Artificial Intelligence. ,vol. 34, pp. 39- 76 ,(1987) , 10.1016/0004-3702(87)90003-8
K. J. Evans, Representing and Reasoning with Probabilistic Knowledge Journal of the Operational Research Society. ,vol. 43, pp. 926- 926 ,(1993) , 10.1057/JORS.1992.139
Joseph Y. Halpern, Yoram Moses, Knowledge and common knowledge in a distributed environment Journal of the ACM. ,vol. 37, pp. 549- 587 ,(1990) , 10.1145/79147.79161
Luc Lismont, Philippe Mongin, Belief closure: A semantics of common knowledge for modal propositional logic Mathematical Social Sciences. ,vol. 30, pp. 127- 153 ,(1995) , 10.1016/0165-4896(95)00785-K
Robert Stalnaker, The Problem of Logical Omniscience, I Synthese. ,vol. 89, pp. 425- 440 ,(1991) , 10.1007/BF00413506
Joseph Y. Halpern, Yoram Moses, A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence. ,vol. 54, pp. 319- 379 ,(1992) , 10.1016/0004-3702(92)90049-4
Luc Lismont, Philippe Mongin, On the Logic of Common Belief and Common Knowledge Theory and Decision. ,vol. 37, pp. 75- 106 ,(1994) , 10.1007/978-1-4613-1139-3_1
Jaakko Hintikka, Impossible Possible Worlds Vindicated Journal of Philosophical Logic. ,vol. 4, pp. 475- 484 ,(1975) , 10.1007/BF00558761
M.Y. Vardi, On the complexity of epistemic reasoning logic in computer science. pp. 243- 252 ,(1989) , 10.1109/LICS.1989.39179