A deontic logic of action

DOI10.1007/BF00370348zbMath0537.03018MaRDI QIDQ792312

Krister Segerberg

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

deontic logiceventspropositionsaction gamesdeontic action algebraurn model action

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) General logic (03B99)

Related Items (18)

Towards a First-Order Deontic Action Logic ⋮ Weighted synchronous automata ⋮ Generalizing deontic action logic ⋮ Free choice and contextually permitted actions ⋮ Reasoning about actions and obligations in first-order logic ⋮ Connecting actions and states in deontic logic ⋮ A dynamic deontic logic for complex contracts ⋮ Unnamed Item ⋮ The paradoxes of permission an action based solution ⋮ Introducing synchrony in fuzzy automata ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Completely and partially executable sequences of actions in deontic context ⋮ Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity ⋮ Synchronous Kleene algebra ⋮ Deontology of compound actions ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ Supercover semantics for deontic action logic ⋮ Jerzy Kalinowski's logic of normative sentences revisited

Cites Work

• Semantics for von Wright's latest deontic logic
• Semantic analysis of tense logics
• Unnamed Item
• Unnamed Item

This page was built for publication: A deontic logic of action