Preview
Unable to display preview. Download preview PDF.
References
R. A. Bull (1966), MIPC as the formalisation of an intuitionist concept of modality. JSL 31, 4, pp 609–616.
L. Fariñas del Cerro (1982), A simple deduction method for modal logic. IPL 14, 2, pp 49–51.
L. Fariñas del Cerro and A. Herzig (1994), A conditional logic for updating in the Possible Models Approach. Proc. German Conf. on AI (KI-94), eds. B. Nebel and L. Dreschler-Fischer, Springer Verlag, LNAI 861, pp 237–247.
L. Fariñas del Cerro and A. Raggio (1983), Some results in intuitionistic modal logic. Logique et Analyse 102, pp 219–224.
G. Hughes, M. J. Cresswell (1968), An introduction to modal logic. Methuen & Co. Ltd.
H. Katsuno and A. O. Mendelzon (1991), On the differenece between updation a knowledge base and revising it. Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-91), Morgan Kaufmann.
H. Levesque (1990), All I know: A study in autoepistemic logic. Artificial Intelligence 42, pp 263–309.
V. W. Marek, M. Truszczynski (1991), Nonmonotonic logic. Springer Verlag.
D. McDermott and J. Doyle (1980), Non-monotonic logic I. Artificial Intelligence 25, pp 41–72.
R. C. Moore (1985), Semantical considerations on non-monotonic logic. Artificial Intelligence 25, pp 75–94.
R. Reiter (1980), A logic for default reasoning. Artificial Intelligence 13, pp 81–132.
M. Winslett (1988), Reasoning about actions. Proc. Seventh Nat. Conf. on AI (AAAI-88), Minneapolis, pp 89–93.
M. Winslett (1994), Updating logical databases. In: Handbook of Logic in Artificial Intelligence (eds. D. Gabbay, A. Galton, C. Hogger), Vol. 3, Oxford University Press, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
del Cerro, L.F., Delgado, A.F., Herzig, A. (1996). Talkin'bout consistency, or: When logically possible becomes possible. 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_69
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_69
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