Application of modal logic to programming

Studia Logica 39 (2-3):257 - 274 (1980)
  Copy   BIBTEX

Abstract

The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with the calculus of binary relations leads to a very natural logic for describing the behavior of computer programs.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370324

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
Modal Logics A Summary of the Well-Behaved.Melvin Fitting - unknown
Phonetic possibility and modal logic.Mark Sharlow - 2007
How to Be a Modal Realist.Cian Dorr - manuscript
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.

Analytics

Added to PP
2009-01-28

Downloads
66 (#240,625)

6 months
21 (#122,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.

View all 25 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.

Add more references