On Boolean closed full trios and rational Kripke frames.

Markus Lohrey Georg Zetzsche

Published in: STACS (2014)

Keyphrases

inference rules
real valued
modal logic
desirable properties
video frames
boolean functions
queueing networks
decision making
multi frame
real time
first order logic
temporal logic
reference frame
databases
three dimensional
temporal coherence