Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

DOI10.1007/978-3-642-14183-6_11zbMath1250.03041OpenAlexW2096055710MaRDI QIDQ4931571

Piotr Kulicki, Robert Trypuz

Publication date: 29 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14183-6_11

zbMATH Keywords

Boolean algebraobligationdeontic action logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (4)

A dynamic deontic logic for complex contracts ⋮ The paradoxes of permission an action based solution ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Completely and partially executable sequences of actions in deontic context

This page was built for publication: Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra