On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.
Grigory K. OlkhovikovPublished in: J. Appl. Log. (2017)
Keyphrases
- expressive power
- first order logic
- intuitionistic logic
- natural deduction
- inference rules
- theorem prover
- theorem proving
- classical logic
- propositional logic
- data complexity
- modal logic
- transitive closure
- knowledge representation
- computational properties
- query language
- relational algebra
- linear logic
- horn clauses
- probabilistic reasoning
- incomplete information
- set theory
- nonmonotonic logics
- dl lite
- search algorithm