On Boolean Closed Full Trios and Rational Kripke Frames.

Georg Zetzsche Dietrich Kuske Markus Lohrey

Published in: Theory Comput. Syst. (2017)

Keyphrases

desirable properties
modal logic
boolean functions
real valued
model checking
video frames
inference rules
decision making
multi frame
moving objects
temporal logic
boolean logic
queueing networks
frame rate
website
data sets
key frames
reference frame
image frames
search engine
data mining