Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Bailhache. Essai de logique déontique. Vrin, 1991.
P. Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.
B. Chellas. Modal Logic: an Introduction. Cambridge University Press, 1980.
S. Demri and E. Orlowska. Logical analysis of indiscernability. E. Orlowska (editor), Reasoning with Incomplete Information. To appear.
R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.
R. Fagin, J. Halpern and M. Vardi. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, Volume 39, 328–376, 1992.
L. Fariñas del Cerro and E. Orlowska. DAL — a logic for data analysis. Theoretical Computer Science, Volume 36, 251–264, 1985.
D. Harel. Dynamic logic. D. Gabbay and F. Guenthner (editors), Handbook of Philosophical Logic, Volume 2, Extensions of Classical Logic. 497–604, Reidel, 1984.
G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984.
E. Orlowska. Kripke semantics for knowledge representation logics. Studia Logica, Volume 49, 255–272, 1990.
D. Vakarelov. Modal logics for knowledge representation systems. Theoretical Computer Science, Volume 90, 433–456, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balbiani, P. (1996). Modal logics with relative accessibility relations. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_61
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive