Modal logics with relative accessibility relations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)
This paper presents a systematic study of the logics based on Kripke models with relative accessibility relations as well as a general method for proving their completeness.
Unable to display preview. Download preview PDF.
- 1.P. Bailhache. Essai de logique déontique. Vrin, 1991.Google Scholar
- 2.P. Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.Google Scholar
- 3.B. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.Google Scholar
- 4.S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.Google Scholar
- 5.R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.Google Scholar
- 8.D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497–604, Reidel, 1984.Google Scholar
- 9.G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.Google Scholar
© Springer-Verlag Berlin Heidelberg 1996