Deciding logics of linear Kripke frames with scattered end pieces.

Arnold Beckmann Norbert Preining

Published in: Soft Comput. (2017)

Keyphrases

modal logic
inference rules
expressive power
temporal logic
video frames
frame rate
desirable properties
moving objects
closed form
linear systems
high speed
image frames
nonmonotonic logics