Action type deontic logic

DOI10.1007/s10849-014-9205-0zbMath1311.03036OpenAlexW1968168349MaRDI QIDQ2258815

Martin Mose Bentzen

Publication date: 27 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://orbit.dtu.dk/en/publications/0ce46aa0-676e-48f8-98ca-64868642f830

zbMATH Keywords

deontic logicdecidability of satisfiabilityfree choice inferencesRoss' paradox

Mathematics Subject Classification ID

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

Related Items (1)

Supercover semantics for deontic action logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• D{\(\Delta\)}L: a dynamic deontic logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Defeasible deontic logic
• First-order modal logic
• Defaults in update semantics
• Free choice permission is strong permission
• Computability and Logic
• Dynamic logic for belief revision
• The dynamic logic of permission
• `Ought' and Extensionality
• Acts of Commanding and Changing Obligations

This page was built for publication: Action type deontic logic