Finite Frames for K4.3 x S5 Are Decidable.

Agi Kurucz Sérgio Marcelino

Published in: Advances in Modal Logic (2012)

Keyphrases

function symbols
finite number
first order logic
video frames
frame rate
search algorithm
artificial intelligence
reference frame
image sequences
expert systems
high resolution
logic programs
data sets
expressive power
temporal coherence
finite automata
databases