Truth-Preserving Operations on Sums of Kripke Frames.

Ilya Shapirovsky

Published in: Advances in Modal Logic (2018)

Keyphrases

video frames
model checking
frame rate
inference rules
single frame
truth values
learning algorithm
moving objects
high resolution