A modal action logic based framework for organization specification and analysis

DOI10.1007/3-540-61630-6_8zbMath1427.68296OpenAlexW1561927659MaRDI QIDQ5235257

Filipe Santos, José Carmo

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Bringing it about
• Action theory and social science. Some formal models
• In the realm of agents
• Law and logic
• Formal specification of security requirements using the theory of normative positions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A modal action logic based framework for organization specification and analysis