Modal Resolution: Proofs, Layers, and Refinements.

Cláudia Nalon Clare Dixon Ullrich Hustadt

Published in: ACM Trans. Comput. Log. (2019)

Keyphrases

consequence finding
high resolution
theorem prover
theorem proving
low resolution
modal logic
decision procedures
multi layer
equational theories
natural deduction
multiple layers
search engine
higher resolution
databases
expert systems
data structure
gis data
genetic algorithm