Studia Logica 41 (2-3):269 - 282 (1982)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Jarek Gryz (2011). On the Relationship Between the Aretaic and the Deontic. Ethical Theory and Moral Practice 14 (5):493-501.
Sven Ove Hansson (1997). Situationist Deontic Logic. Journal of Philosophical Logic 26 (4):423-448.
Krister Segerberg (1992). Action Incompleteness. Studia Logica 51 (3-4):533 - 550.
F. Dignum, J. -J. Ch Meyer & R. J. Wieringa (1996). Free Choice and Contextually Permitted Actions. Studia Logica 57 (1):193 - 220.
Churn-Jung Liau (2001). A Logical Analysis of the Relationship Between Commitment and Obligation. Journal of Logic, Language and Information 10 (2):237-261.
Allard Tamminga (2013). Deontic Logic for Strategic Games. Erkenntnis 78 (1):183-200.
Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Added to index2009-01-28
Total downloads20 ( #61,563 of 549,124 )
Recent downloads (6 months)1 ( #63,361 of 549,124 )
How can I increase my downloads?