Switch to: Citations

Add references

You must login to add references.
  1. A systematics of deontic action logics based on Boolean algebra.Robert Trypuz & Piotr Kulicki - 2009 - Logic and Logical Philosophy 18 (3-4):253-270.
    Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Towards an exact philosophy of action.Krister Segerberg - 1984 - Topoi 3 (1):75-83.
    Download  
     
    Export citation  
     
    Bookmark   10 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  
  • Applying modal logic.Krister Segerberg - 1980 - Studia Logica 39 (2-3):275 - 295.
    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.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Trying (As the Mental "Pineal Gland").Brain O'Shaughnessy - 1973 - Journal of Philosophy 70 (13):365-386.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.
    We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Reasoning about Actions and Obligations in First-Order Logic.Gert-Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
    We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation--R. M. Lee's deontic expert shell DX--is briefly described.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deontic action logic, atomic boolean algebras and fault-tolerance.Pablo F. Castro & T. S. E. Maibaum - 2009 - Journal of Applied Logic 7 (4):441-466.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.
    In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were features of actions. It was a very natural choice, corresponding to the way in which these concepts were used not only in natural language but also in Law and Ethics. It's well known that contemporary systems of deontic logics do not deal with actions any more. They are simply deontic logics of propositions providing for deontic qualification of states of affairs. Such an approach, although might be useful for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Trying.Brian O'Shaughnessy - 1973 - Journal of Philosophy 70 (13):365-386.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On deontic action logics based on Boolean algebra.Robert Trypuz & Piotr Kulicki - forthcoming - Journal of Logic and Computation.
    Download  
     
    Export citation  
     
    Bookmark   11 citations