Skip to main content
Log in

Applying modal logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The main purpose of the paper is to introduce philosophers and philosophical logicians to dynamic logic, a subject which promises to be of interest also to philosophy. A new completeness result involving both “after” — and “during” — operators is announced.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. J. Fischer and R. E. Ladner, Propositional modal logic of programs, extended abstract, presented at the Ninth. A. C. M. Symposium on the Theory of Computing, Boulder, Colorado, May 2–4, 1977.

  2. D. Harel and V. R. Pratt, Nondeterminism in logics of programs, manuscript, dated November 10, 1977.

  3. V. R. Pratt, Semantical considerations on Floyd-Hoare logic, 17th I.E.E.E. Symposium on Foundations of Computer Science (1977), pp. 109–121.

  4. —, Logic of processes: manuscript, dated November 29, 1977.

  5. —, Applications of modal logic to programming, this issue of Studia Logica.

  6. A. Salomaa, Theory of Automata, Pergamon Press, London, 1969.

    Google Scholar 

  7. K. Segerberg, A completeness theorem in the modal logic of programs, to appear in the Stefan Banach International Mathematical Centre publications series.

  8. —, A conjecture in dynamic logic, in: Mini-essays in honor of Juhani Pietarinen, Åbo, 1978, pp. 23–26.

Download references

Author information

Authors and Affiliations

Authors

Additional information

The work on this paper was supported in part by an Academy of Finland fellowship för längre hunna vetenskapsidkare during the former half of 1979. The paper itself was read as an invited address at the Conference on Practical and Philosophical Motivations of Non-classical Logics held at Toruń, August 15–19, 1979.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Segerberg, K. Applying modal logic. Stud Logica 39, 275–295 (1980). https://doi.org/10.1007/BF00370325

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370325

Keywords

Navigation