Implicational Relevance Logic is 2-EXPTIME-Complete.
Sylvain SchmitzPublished in: J. Symb. Log. (2016)
Keyphrases
- exptime complete
- description logics
- expressive power
- data complexity
- pspace complete
- expressive description logics
- modal logic
- decision problems
- model checking
- multi valued
- transitive closure
- np complete
- logic programming
- knowledge representation
- modal operators
- database systems
- database
- first order logic
- regular expressions
- state space
- query language
- query processing
- relational databases