Actors, actions, and initiative in normative system specification

DOI10.1007/BF01556356zbMath0976.03514MaRDI QIDQ1353968

R. J. Wieringa, John-Jules Ch. Meyer

Publication date: 13 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

Free choice and contextually permitted actions, Blame it on me, Regular database update logics, A Temporal Logic of Normative Systems, On the possibility theory-based semantics for logics of preference

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Step semantics for ``true concurrency with recursion
• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
• Temporal Reasoning over Deontic Specifications
• Process algebra for synchronous communication
• Equality and Domain Closure in First-Order Databases
• Process Algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item