The Basics of the Model Construction Method
This chapter is about the basic modal logic K and its multimodal version K n . We also present the basic description logic ALC, which can be viewed as a notational variant of K n . The implementation of reasoning methods for all these logics can be done by means of the most basic rules, that are combined by the most basic strategies: fair strategies.
- [BBW06]P. Blackburn, J.F.A.K. van Benthem, and F. Wolter. Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning. Elsevier Science, New York, 2006. Google Scholar
- [Bet55]E.W. Beth. Semantic entailment and formal derivability. In Mededlingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R, volume 18(3), pages 309–342, 1955. Reprinted in Jaakko Intikka (ed.) The Philosophy of Mathematics, Oxford University Press, 1969. Google Scholar
- [GKWZ03]D.M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam, 2003. Google Scholar
- [Hor98b]I. Horrocks. Using an expressive description logic: FaCT or fiction. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’98), pages 636–647, 1998. Google Scholar
- [Pau89]L.C. Paulson. The foundation of a generic theorem prover, Journal of Automated Reasoning, 5, 1989. Google Scholar
- [Smu95]R. Smullyan. First Order-Logic. Dover, New York, 1995. First print: 1968. Google Scholar