Temporal Reasoning over Deontic Specifications
From MaRDI portal
Publication:3356299
DOI10.1093/LOGCOM/1.3.357zbMATH Open0731.03022OpenAlexW1976588322MaRDI QIDQ3356299FDOQ3356299
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
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
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
Cited In (25)
- 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
- Temporal agent programs
- On what exactly goes on when software is developed step-by-step. II: The sequel
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- Title not available (Why is that?)
- A Tableaux System for Deontic Action Logic
- 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
- Deontic action logic, atomic Boolean algebras and fault-tolerance
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)
