Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.
Joanna Golinska-PilarekTaneli HuuskonenEmilio Muñoz-VelascoPublished in: Ann. Pure Appl. Log. (2014)
Keyphrases
- decision procedures
- modal logic
- classical logic
- inference rules
- temporal logic
- nonmonotonic logics
- description logics
- linear logic
- reasoning problems
- relational databases
- model theoretic
- theorem prover
- data model
- logical framework
- natural deduction
- default logic
- database schema
- situation calculus
- presburger arithmetic
- machine learning
- kripke models
- theorem proving
- conjunctive queries
- model checking
- xml documents
- expert systems
- database systems