Linear Kripke frames and Gödel logics.

Arnold Beckmann Norbert Preining

Published in: J. Symb. Log. (2007)

Keyphrases

modal logic
inference rules
frame rate
expressive power
video frames
desirable properties
video sequences
moving objects
closed form
multi agent systems
key frames
linear systems
classical logic
valued logic