Designing a Deontic Logic of Deadlines
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 43-56
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Combining dynamic deontic logic and temporal logic for the specification of deadlines2002
- On the Relationship Between BDI Logics and Standard Logics of ConcurrencyAutonomous Agents and Multi-Agent Systems, 2000
- Diagnosis and decision making in normative reasoningArtificial Intelligence and Law, 1999
- A clausal resolution method for CTL branching-time temporal logicJournal of Experimental & Theoretical Artificial Intelligence, 1999
- Verification tools for finite-state concurrent systems1994
- Intention is choice with commitmentArtificial Intelligence, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGICMind, 1958
- I. DEONTIC LOGICMind, 1951