Temporal Reasoning over Deontic Specifications

DOI10.1093/logcom/1.3.357zbMath0731.03022OpenAlexW1976588322MaRDI QIDQ3356299

Thomas S. E. Maibaum, José Luiz Fiadeiro

Publication date: 1991

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.3.357

zbMATH Keywords

livenesssafetydeontic logictemporal logicconsequence operatorreasoning about dynamic properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Related Items

Deontic action logic, atomic Boolean algebras and fault-tolerance, Towards specifying norms, Actors, actions, and initiative in normative system specification, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Deontic database constraints, violation and recovery, A Tableaux System for Deontic Action Logic, Towards Modelling Obligations in Event-B, Agent strands in the action language \(n\mathcal C +\), On the nature of events: another perspective in concurrency, Temporal theories as modularisation units for concurrent system specification, Temporal agent programs, Reasoning about System-Degradation and Fault-Recovery with Deontic Logic, Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations, On what exactly goes on when software is developed step-by-step. II: The sequel