Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics.
Guido FiorinoPublished in: J. Log. Comput. (2002)
Keyphrases
- decision procedures
- space efficient
- modal logic
- default logic
- theorem proving
- model theoretic
- first order logic
- data structure
- automated reasoning
- propositional logic
- data streams
- sliding window
- inference rules
- temporal logic
- expressive power
- conjunctive queries
- satisfiability problem
- range sum queries
- theorem prover
- b tree
- bloom filter
- expert systems
- incomplete information
- integrity constraints
- search algorithm