A deontic logic of action

Studia Logica 41 (2-3):269 - 282 (1982)
The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370348
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 26,150
Through your library
References found in this work BETA
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
Free Choice Permission.Hans Kamp - 1973 - Proceedings of the Aristotelian Society 74:57 - 74.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
On the Relationship Between the Aretaic and the Deontic.Jarek Gryz - 2011 - Ethical Theory and Moral Practice 14 (5):493-501.
Situationist Deontic Logic.Sven Ove Hansson - 1997 - Journal of Philosophical Logic 26 (4):423-448.
Action Incompleteness.Krister Segerberg - 1992 - Studia Logica 51 (3-4):533 - 550.
A Logical Analysis of the Relationship Between Commitment and Obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
Deontic Logic for Strategic Games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.
A Topological Logic of Action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.
DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.

Monthly downloads

Added to index


Total downloads

47 ( #107,881 of 2,152,238 )

Recent downloads (6 months)

7 ( #104,767 of 2,152,238 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums