Towards a First-Order Deontic Action Logic

DOI10.1007/978-3-642-28412-0_6zbMath1314.03021OpenAlexW2159636735MaRDI QIDQ2890324

Thomas S. E. Maibaum, Pablo F. Castro

Publication date: 8 June 2012

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A deontic logic of action
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Temporal theories as modularisation units for concurrent system specification
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

This page was built for publication: Towards a First-Order Deontic Action Logic