One-variable fragments of intermediate logics over linear frames.

Xavier Caicedo George Metcalfe Ricardo Rodríguez Olim Frits Tuyt

Published in: Inf. Comput. (2022)

Keyphrases

case study
expressive power
linear constraints
modal logic
information systems
temporal coherence
multi frame
motion estimation
feature vectors
closed form
moving objects
transfer function
objective function
image frames
closed form solutions
linear systems
multimedia
computer vision