Applying modal logic

Studia Logica 39 (2-3):275 - 295 (1980)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370325

Links

PhilArchive



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

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

A Modal Logic of Metaphor.Krister Segerberg - 2011 - Studia Logica 99 (1-3):337-347.
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
Post completeness in modal logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
56 (#280,221)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
The logic of deliberate action.Krister Segerberg - 1982 - Journal of Philosophical Logic 11 (2):233 - 254.
A norm-giver meets deontic action logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
Routines.Krister Segerberg - 1985 - Synthese 65 (2):185 - 210.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references