On deontic action logics based on Boolean algebra

DOI10.1093/LOGCOM/EXT057zbMath1336.03027OpenAlexW2077403477MaRDI QIDQ3450208

Robert Trypuz, Piotr Kulicki

Publication date: 3 November 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext057

zbMATH Keywords

obligationclosednessdeontic action logicaction theoryprinciple of obligation economy

Mathematics Subject Classification ID

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

Related Items (9)

Generalizing deontic action logic ⋮ Connecting actions and states in deontic logic ⋮ Unnamed Item ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Completely and partially executable sequences of actions in deontic context ⋮ Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity ⋮ Supercover semantics for deontic action logic ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach ⋮ Jerzy Kalinowski's logic of normative sentences revisited

This page was built for publication: On deontic action logics based on Boolean algebra