Switch to: Citations

Add references

You must login to add references.
  1. Deontic logic for strategic games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.
    We develop a multi-agent deontic action logic to study the logical behaviour of two types of deontic conditionals: (1) conditional obligations, having the form "If group H were to perform action aH, then, in group F's interest, group G ought to perform action aG" and (2) conditional permissions, having the form "If group H were to perform action aH, then, in group F's interest, group G may perform action aG". First, we define a formal language for multi-agent deontic action logic (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...)
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
    Download  
     
    Export citation  
     
    Bookmark   157 citations  
  • Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.
    Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Norm and action.Georg Henrik von Wright - 1963 - New York,: Humanities.
    Download  
     
    Export citation  
     
    Bookmark   135 citations  
  • A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)Game Theory and the Interpretation of Deontic Logic.Leo Apostel - 1965 - Journal of Symbolic Logic 30 (2):242-242.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (1 other version)Language of Motivation and Language of Actions.Maria Nowakowska - 1975 - Foundations of Language 12 (4):623-625.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Language of Motivation and Language of Actions.Maria Nowakowska - 1976 - Studia Logica 35 (1):91-98.
    Download  
     
    Export citation  
     
    Bookmark   8 citations