Talkin'bout consistency, or: When logically possible becomes possible

  • Luis Fariñas del Cerro
  • Antonio Frias Delgado
  • Andreas Herzig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)


Normal Form Modal Logic Classical Logic Modal Depth Conjunctive Normal Form 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. R. A. Bull (1966), MIPC as the formalisation of an intuitionist concept of modality. JSL 31, 4, pp 609–616.Google Scholar
  2. L. Fariñas del Cerro (1982), A simple deduction method for modal logic. IPL 14, 2, pp 49–51.CrossRefGoogle Scholar
  3. 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.Google Scholar
  4. L. Fariñas del Cerro and A. Raggio (1983), Some results in intuitionistic modal logic. Logique et Analyse 102, pp 219–224.Google Scholar
  5. G. Hughes, M. J. Cresswell (1968), An introduction to modal logic. Methuen & Co. Ltd.Google Scholar
  6. 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.Google Scholar
  7. H. Levesque (1990), All I know: A study in autoepistemic logic. Artificial Intelligence 42, pp 263–309.CrossRefGoogle Scholar
  8. V. W. Marek, M. Truszczynski (1991), Nonmonotonic logic. Springer Verlag.Google Scholar
  9. D. McDermott and J. Doyle (1980), Non-monotonic logic I. Artificial Intelligence 25, pp 41–72.CrossRefGoogle Scholar
  10. R. C. Moore (1985), Semantical considerations on non-monotonic logic. Artificial Intelligence 25, pp 75–94.CrossRefGoogle Scholar
  11. R. Reiter (1980), A logic for default reasoning. Artificial Intelligence 13, pp 81–132.CrossRefGoogle Scholar
  12. M. Winslett (1988), Reasoning about actions. Proc. Seventh Nat. Conf. on AI (AAAI-88), Minneapolis, pp 89–93.Google Scholar
  13. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Luis Fariñas del Cerro
    • 1
  • Antonio Frias Delgado
    • 1
  • Andreas Herzig
    • 1
  1. 1.IRITUniversité Paul SabatierToulouse CédexFrance

Personalised recommendations