Studia Logica

, Volume 41, Issue 2–3, pp 269–282 | Cite as

A deontic logic of action

  • Krister Segerberg


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.


Mathematical Logic Final Section Boolean Operation Formal Language Computational Linguistic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. A. W. Kamp, Free choice permission, Proceedings of the Aristotelian Society, vol. 74 (1973–1974), pp. 57–74.Google Scholar
  2. [2]
    Helena Rasiowa & Roman Sikorski, The Mathematics of Metamathematics. Warsaw, Państwowe Wydawnictwo Naukowe, 1963.Google Scholar
  3. [3]
    Imre Ruzsa, Semantics for von Wright's latest deontic logic, Studia Logica, vol. 35 (1976), pp. 297–314.Google Scholar
  4. [4]
    Krister Segerberg, Action-games, Acta Philosophica Fennica, to appear.Google Scholar
  5. [5]
    S. K. Thomason, Semantic analysis of tense logics, The Journal of Symbolic Logic, vol. 37 (1972), pp. 150–158.Google Scholar
  6. [6]
    Georg Henrik von Wright, Deontic logic revisited, Rechtstheorie, vol. 4 (1973), pp. 37–46.Google Scholar
  7. [7]
    Georg Henrik von Wright, Problems and prospects of deontic logic: A survey, In Modern Logic — A Survey, edited by E. Agazzi, pp. 399–423. Dordrecht, Reidel, 1980.Google Scholar

Copyright information

© Polish Academy of Sciences 1982

Authors and Affiliations

  • Krister Segerberg
    • 1
  1. 1.Department of PhilosophyUniversity of AucklandAucklandNew Zealand

Personalised recommendations