Correspondence Between Kripke Frames and Projective Geometries.

Shengyang Zhong

Published in: Stud Logica (2018)

Keyphrases

modal logic
multi frame
epipolar constraint
point correspondences
frame rate
desirable properties
temporal logic
model checking
temporal coherence
image frames
inference rules
point to point correspondences
super resolution
case study
reference frame
real time
single frame
projective reconstruction