Model Checking and Satisfiability for Sabotage Modal Logic.
Christof LödingPhilipp RohdePublished in: FSTTCS (2003)
Keyphrases
- modal logic
- model checking
- temporal logic
- satisfiability problem
- description logic alc
- decision procedures
- epistemic logic
- bounded model checking
- formal verification
- model checker
- formal specification
- finite state
- nonmonotonic logics
- computation tree logic
- temporal properties
- inference rules
- symbolic model checking
- automated verification
- classical logic
- transition systems
- linear temporal logic
- prime implicates
- timed automata
- formal methods
- pspace complete
- default logic
- model theoretic
- verification method
- situation calculus
- alternating time temporal logic
- dynamic logic
- modal operators
- knowledge base