A norm-giver meets deontic action logic

Robert Trypuz; Piotr Kulicki

doi:10.12775/llp.2011.003

A norm-giver meets deontic action logic

Logic and Logical Philosophy ◽

10.12775/llp.2011.003 ◽

2013 ◽

Vol 20 (1-2) ◽

Author(s):

Robert Trypuz ◽

Piotr Kulicki

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

Supercover Semantics for Deontic Action Logic

Journal of Logic Language and Information ◽

10.1007/s10849-018-09279-8 ◽

2019 ◽

Vol 28 (3) ◽

pp. 427-458

Author(s):

Karl Nygren

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

A Deontic Action Logic with Sequential Composition of Actions

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-642-31570-1_13 ◽

2012 ◽

pp. 184-198 ◽

Cited By ~ 2

Author(s):

Piotr Kulicki ◽

Robert Trypuz

Keyword(s):

Action Logic ◽

Sequential Composition ◽

Deontic Action Logic

Download Full-text

A Tableaux System for Deontic Action Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_4 ◽

2008 ◽

pp. 34-48 ◽

Cited By ~ 8

Author(s):

Pablo F. Castro ◽

T. S. E. Maibaum

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

Deontic action logic, atomic boolean algebras and fault-tolerance

Journal of Applied Logic ◽

10.1016/j.jal.2009.02.001 ◽

2009 ◽

Vol 7 (4) ◽

pp. 441-466 ◽

Cited By ~ 21

Author(s):

Pablo F. Castro ◽

T.S.E. Maibaum

Keyword(s):

Fault Tolerance ◽

Boolean Algebras ◽

Action Logic ◽

Deontic Action Logic

Download Full-text

A Deontic Action Logic for Complex Actions

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40948-6_24 ◽

2013 ◽

pp. 311-315 ◽

Cited By ~ 3

Author(s):

Huimin Dong ◽

Xiaowu Li

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems

Agent and Multi-Agent Systems: Technologies and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01665-3_12 ◽

2009 ◽

pp. 110-119 ◽

Cited By ~ 5

Author(s):

Magnus Hjelmblom ◽

Jan Odelstad

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Action Logic ◽

Multi Agent ◽

Deontic Action Logic

Download Full-text

Maintaining Obligations on Stative Expressions in a Deontic Action Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-25927-5_17 ◽

2004 ◽

pp. 258-274 ◽

Cited By ~ 2

Author(s):

Adam Zachary Wyner

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

Towards a First-Order Deontic Action Logic

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28412-0_6 ◽

2012 ◽

pp. 61-75 ◽

Cited By ~ 1

Author(s):

Pablo F. Castro ◽

Tom S. E. Maibaum

Keyword(s):

First Order ◽

Action Logic ◽

Deontic Action Logic

Download Full-text

Temporal deontic action logic for the verification of compliance to norms in ASP

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL '13 ◽

10.1145/2514601.2514608 ◽

2013 ◽

Cited By ~ 5

Author(s):

Laura Giordano ◽

Alberto Martelli ◽

Daniele Theseider Dupré

Keyword(s):

Action Logic ◽

Deontic Action Logic

Download Full-text

Reasoning about Self and Others: Communicating Agents in a Modal Action Logic

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-540-45208-9_19 ◽

2003 ◽

pp. 228-241 ◽

Cited By ~ 6

Author(s):

Matteo Baldoni ◽

Cristina Baroglio ◽

Alberto Martelli ◽

Viviana Patti

Keyword(s):

Action Logic

Download Full-text