Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA.

Willem Conradie

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

modal logic
linear time temporal logic
learning algorithm
logic programming
point correspondences
data quality
automated reasoning
real time
genetic algorithm
computer vision
case study
point sets
hybrid learning
epistemic logic
asynchronous circuits
proof theory