A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most

Studia Logica

Volumn 69, Issue 1, 2001, Pages 171-191

  Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Autoepistemic logics; Computational complexity; Nonmonotonic reasoning; Tableau calculi

Indexed keywords

EID: 22944477931     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1013894629540     Document Type: Article

References (23)

1. BONATTI, P. A., and N. OLIVETTI: 1997a, 'A sequent calculus for circumscription', in: Proc. of CSL'97, Vol. 1414 of LNAI, pp. 98-114.
2. BONATTI, P.A., and N. OLIVETTI: 1997b, 'A sequent calculus for skeptical default logic', in: Proc. of TABLEAUX'97, Vol. 1227 of LNAI, pp. 107-121.
3. CHEN, J.: 1994, 'The logic of only knowing as a unified framework for non-monotonic reasoning', Fundamenta Informatic 21, 205-220.
4. DONINI, P.M., F. MASSACCI, D. NARDI, and R. ROSATI: 1996, 'A uniform tableaux method for nonmonotonic modal logics', in: J. J. Alferes, L. M. Pereira, and E. Orlowska (eds.): Proc. of JELIA'96, Vol. 1126 of LNAI, pp. 87-103.
5. FITTING, M.: 1983, Proof Methods for Modal and Intuitionistic Logics, Reidel.
6. GORE, R.: 1991, 'Semi-analytic tableaux for modal logics with application to nonmonotonicity', Logique et Analyse 133-134.
7. HALPERN, J. Y.: 1997, 'A theory of knowledge and ignorance for many agents', Journal of Logic and Computation 7(1), 79-108.
8. HALPERN, J. Y. and G. LAKEMEYER: 1995, 'Levesque's axiomatization of only knowing is incomplete', Artificial Intelligence 74(2), 381-387.
9. HALPERN, J. Y. and G. LAKEMEYER: 1996, 'Multi-agent only knowing', in: Proc. of TARK'96.
10. HALPERN, J.Y. and Y. MOSES: 1985, 'Towards a theory of knowledge and ignorance: Preliminary report', in: K. Apt (ed.), Logic and models of concurrent systems, Springer-Verlag.
11. HALPERN, J.Y. and Y. MOSES: 1992, 'A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54, 319-379.
12. JOHNSON, D.S.: 1990, 'A catalog of complexity classes', in: J. van Leuven (ed.), Handbook of Theoretical Computer Science, Vol. A, Elsevier, Chapt. 2.
13. LEVESQUE, H. J.: 1990, 'All I know: a study in autoepistemic logic', Artificial Intelligence 42, 263-310.
14. LlFSCHITZ, V.: 1994, 'Minimal belief and negation as failure', Artificial Intelligence 70, 53-72.
15. MAREK, W., and M. TRUSZCZYNSKI: 1993, Nonmonotonic Logics - ContextDependent Reasoning, Springer-Verlag.
16. MASSACCI, F.: 2000, 'Single step tableaux for modal logics', Journal of Automated Reasoning 21(4).
17. MOORE, R. C.: 1985, 'Semantical considerations on nonmonotonic logic', Artificial Intelligence 25, 75-94.
18. NlEMELÄ, L: 1988, 'Decision procedure for autoepistemic logic', in: Proc. of CADE'88, Vol. 310 of LNCS, pp. 675-684.
19. NlEMELÄ, I.: 1996, 'A tableau calculus for minimal model reasoning', in: Proc. of TABLEAUX'96, Vol. 1071 of LNAI, pp. 278-294.
20. OLIVETTI, N.: 1992, 'Tableaux and sequent calculus for minimal entailment', Journal of Automated Reasoning 9, 99-139.
21. ROSATI, R.: 2000a, 'On the decidability and complexity of reasoning about only knowing', Artificial Intelligence 116, 193-215.
22. ROSATI, R.: 2000b, 'Tableau calculus for only knowing and knowing at most', Proc. of TABLEAUX-2000, Vol. 1847 of LNAI, pp. 383-397.
23. SCHWIND, C. B.: 1990, 'A tableaux-based theorem prover for a decidable subset of default logic', in: Proc. of CADE'90, Vol. 449 of LNCS, pp. 528-542.