Towards a First-Order Deontic Action Logic
From MaRDI portal
Publication:2890324
DOI10.1007/978-3-642-28412-0_6zbMath1314.03021MaRDI QIDQ2890324
Pablo F. Castro, Thomas S. E. Maibaum
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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item