Temporal Reasoning over Deontic Specifications

DOI10.1093/LOGCOM/1.3.357MaRDI QIDQ3356299zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Tim Maibaum

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

deontic logictemporal logicsafetylivenessconsequence operatorreasoning about dynamic properties

Mathematics Subject Classification ID

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

Recommendations

• A State/Event Temporal Deontic Logic
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions
• Decision procedures for a deontic logic modeling temporal inheritance of obligations
• Obligations with deadlines: a formalization in dynamic deontic logic
• A Temporal Logic of Normative Systems

Cited in

(25)

• Deontic action logic, atomic Boolean algebras and fault-tolerance
• A formalisation of violation, error recovery, and enforcement in the bit transmission problem
• Temporal theories as modularisation units for concurrent system specification
• On temporal qualification of normative propositions
• On the nature of events: another perspective in concurrency
• Encapsulating deontic and branching time specifications
• Towards Modelling Obligations in Event-B
• Reasoning about actions with Temporal Answer Sets
• A temporal logic for modelling activities of daily living
• Model checking propositional deontic temporal logic via a \(\mu \)-calculus characterization
• Ontology and time evolution of obligations and prohibitions using semantic web technology
• A State/Event Temporal Deontic Logic
• Canonical models for temporal deontic logic
• On what exactly goes on when software is developed step-by-step. II: The sequel
• Temporal agent programs
• Decision procedures for a deontic logic modeling temporal inheritance of obligations
• A Tableaux System for Deontic Action Logic
• scientific article; zbMATH DE number 6471980 (Why is no real title available?)
• Towards specifying norms
• Actors, actions, and initiative in normative system specification
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• Agent strands in the action language \(n\mathcal C +\)
• Deontic database constraints, violation and recovery
• Temporal defeasible reasoning
• Quantified temporal alethic-deontic logic

This page was built for publication: Temporal Reasoning over Deontic Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3356299)