Search

Search Results

• A Formal Theory of Action

  Mateusz Klonowski

  263-268

  2018-02-02
• Does the Implication Elimination Rule Need a Minor Premise?

  Nissim Francez

  351-373

  2017-07-21
• A Realistic View on Normative Conflicts

  Daniela Glavaničová, Matteo Pascucci

  447-462

  2020-02-04
• Normative Consistency: An Xstit Account

  Gillman Payette

  375-413

  2017-07-28
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• Conditional intent in the strange case of murder by logic

  Dale Jacquette

  301-316

  2003-11-23
• A norm-giver meets deontic action logic

  Robert Trypuz, Piotr Kulicki

  59–72

  2011-06-30
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

  Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

  583-617

  2023-06-02