Two-Dimensional Awareness Logics
暂无分享,去创建一个
[1] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[2] Heinrich Wansing,et al. A general possible worlds framework for reasoning about knowledge and belief , 1990, Stud Logica.
[3] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[4] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[5] Kurt Konolige,et al. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief , 1986, TARK.
[6] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.
[7] Kwang Mong Sim. Epistemic logic and logical omniscience II: A unifying framework , 2000 .
[8] Elias George Coenraad Thijsse,et al. Partial logic and knowledge representation , 1992 .
[9] Ulises Cortés,et al. Subjective Situations , 1999, MAAMAW.
[10] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[11] Merrie Bergmann,et al. Presupposition and two-dimensional logic , 1981, J. Philos. Log..
[12] V. Rantala,et al. Quantified modal logic: Non-normal worlds and propositional attitudes , 1982 .
[13] J. Hintikka. Knowledge and belief , 1962 .