Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.
Jan M. BroersenPublished in: DEON (2006)
Keyphrases
- temporal logic
- deontic logic
- model checking
- modal logic
- nonmonotonic logics
- inference rules
- satisfiability problem
- legal reasoning
- mazurkiewicz traces
- alternating time temporal logic
- concurrent systems
- verification method
- reactive systems
- model checker
- computation tree logic
- knowledge representation
- linear temporal logic
- bounded model checking
- temporal knowledge
- transition systems
- formal semantics
- formal verification
- dynamic constraints
- belief revision
- logic programs