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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.
Chang's modal operators in algebraic logic.George Georgescu - 1983 - Studia Logica 42 (1):43 - 48.
Krister Segerberg, Classical Propositional Operators: An Exercise in the Foundations of Logic Reviewed by.Alasdair Urquhart - 1983 - Philosophy in Review 3 (6):306-308.
Review: Krister Segerberg, Classical Propositional Operators. An Exercise in the Foundations of Logic. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Positive Monotone Modal Logic.Jim de Groot - 2021 - Studia Logica 109 (4):829-857.
Segerberg Krister. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York 1982, x + 152 pp. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
63 (#340,264)

6 months
5 (#1,071,419)

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.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references