A Modal Logic for Termgraph Rewriting
Philippe BalbianiRachid EchahedAndreas HerzigPublished in: CoRR (2010)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- rewriting rules
- classical logic
- rewrite rules
- conditional logic
- situation calculus
- query rewriting
- nonmonotonic logics
- conjunctive queries
- default logic
- epistemic logic
- queries using views
- prime implicates
- model checking
- modal operators
- expert systems
- artificial intelligence