Skip to main content
SpringerLink
Log in

Resolution Modal Logics

  • Conference paper
Logics and Models of Concurrent Systems

Part of the book series: NATO ASI Series ((NATO ASI F,volume 13))

Abstract

In this paper we describe a general way to define a resolution method in the framework of non classical logics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. ANDERSON, R., Improved decision procedures for Lewis’s calculus S4 and von Wright’s calculus. J.S.L., Vol. 19, 3, (1953), pp. 101–214.

    Google Scholar 

  2. BAYART A., On truth-tables for M, B, S4 and S5. Logique et Analyse, Sept. 1970, pp. 335–375.

    Google Scholar 

  3. CARNAP, R., Modalities and quantification. J.S.L., vol. 11, 2, (1946), pp. 33–64.

    MATH  MathSciNet  Google Scholar 

  4. CAVALLI, A.R., FARINAS DEL CERRO, L., Specification and verification of networks protocols using temporal logic. Proceedings of the Sixième Colloque International sur la programmation, Springer-Verlag, LNCS no 167, (1984).

    Google Scholar 

  5. CAVALLI, A.R., FARINAS DEL CERRO, L., Adecision method for linear temporal logic. Proceedings of the Seventh International Conference on Automata Deduction, Springer-Verlag, LNCS n° 170, (1984).

    Google Scholar 

  6. CHANG, C., LEE, R., Symbolical logic and mechanical theorem proving. Academic Press, New-York, (1973).

    Google Scholar 

  7. CIALDEA, M., Une méthode de résolution pour la logique intuitionniste propositionnelle. Rapport LSI, Université Paul Sabatier, Toulouse, (1983).

    Google Scholar 

  8. CIALDEA, M., Ph.d. Thesis Université Toulouse III, in preparation.

    Google Scholar 

  9. COMBES, P., LEFORT, V., Gentiane: un outil de preuve de cohérence de formules en logique temporelle. Note technique, CNET IPAA ILLC.

    Google Scholar 

  10. FARINAS DEL CERRO, L., Déduction automatique et logique modale. Thèse d’Etat, Université de Paris V II, 1981.

    Google Scholar 

  11. FARINAS DEL CERRO, L., Prolegomena for programming in modal logic. 6th European Meeting on Cybernetics and Systems Research, Vienne, Avril 1982, North-Holland, (1982).

    Google Scholar 

  12. FARINAS DEL CERRO, L., Logique modale et processus communicants. Colloque AFCET “Les mathématiques de l’Informatique”, Paris, (1982).

    Google Scholar 

  13. FARINAS DEL CERRO, L., A simple deduction method for modal logic. Information Processing Letters, Vol. 14, n°2, (1982).

    Google Scholar 

  14. FARINAS DEL CERRO, L., A deduction method for modal logic. Europeaan IA Conference, 11–14 July 1982, Orsay.

    Google Scholar 

  15. FARINAS DEL CERRO, L., Les modalités de la correction totale. RAIRO Informatique Théorique, Vol. 16, n°4, (1982), pp. 349–363.

    MATH  Google Scholar 

  16. FARINAS DEL CERRO, L., Temporal reasoning and termination of programs. Proceedings IJCAI 1983.

    Google Scholar 

  17. FARINAS DEL CERRO, L., Un principe de résolution en logique modale. RAIRO Informatique Théorique, Vol. 18, n° 2, (1984).

    Google Scholar 

  18. FARINAS DEL CERRO, L., LAUTH, E., Raisonnement temporel: une méthode de déduction. Rapport LSI, Université Paul Sabatier, Toulouse, Novembre 1982.

    Google Scholar 

  19. FARINAS DEL CERRO, L., SOULHI, S., Mutual belief logic for processing definite reference. Proceedings of International Workshop on Natural Language Understanding and Logic Programming, Rennes, 18–20 Septembre 1984, North-Holland.

    Google Scholar 

  20. GALLION, O., Implémentation d’un démonstrateur de théorèmes. Rapport LSI, Université Paul Sabatier, Toulouse, Novembre 1981.

    Google Scholar 

  21. HENRY, J., Implémentation d’un démonstrateur pour des clauses d’Horn en logique modale. Rapport LSI, Université Paul Sabatier, en préparation.

    Google Scholar 

  22. KOCHUT, E., RYCHLINK, P., Applications of modal logic in information systems, in Bolc, L., (ed.), Translating natural language into logical form, Springer, Symbolic Computation serie, to appear.

    Google Scholar 

  23. LAUTH, E., Une méthode de résolution linéaire ordonnées pour la logique temporelle linéaire. Rapport LSI-ENSEEITH, Université Paul Sabatier, Toulouse, (1983).

    Google Scholar 

  24. LEMMON, E., An introduction to modal logic. Amer. Philo. Generaly Monograph, (1977).

    MATH  Google Scholar 

  25. SHIMURA, M., Resolution in a new modal logic. Proceedings IJCAI 79, pp. 809–814.

    Google Scholar 

  26. ORLOWSKA, E., Resolution systems and their applications I & II. Fundamenta Informaticae, Vol. III, n°2, (1980), pp. 235–267 & 333–362.

    Google Scholar 

  27. ROBINSON, J., A machine oriented logic based on the resolution principle. J. ACM, 12, (1965), pp. 23–41.

    Article  MATH  Google Scholar 

  28. RYCHLINK, P., The use of modal default reasoning in information system. To appears in The Int. Journal of Man-Machine Studies.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Langages et Systèmes Informatiques, Université Paul Sabatier, 118, route de Narbonne, F - 31062, Toulouse Cedex, France

    Luis Fariñas-del-Cerro

Authors
  1. Luis Fariñas-del-Cerro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. L.I.T.P., Université Paris 7, 2, Place Jussieu, 75251, Paris, France

    Krzysztof R. Apt

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fariñas-del-Cerro, L. (1985). Resolution Modal Logics. In: Apt, K.R. (eds) Logics and Models of Concurrent Systems. NATO ASI Series, vol 13. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-82453-1_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-82455-5

  • Online ISBN: 978-3-642-82453-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation