Modal Characterisation Theorems over Special Classes of Frames.

Anuj Dawar Martin Otto

Published in: LICS (2005)

Keyphrases

information systems
website
key frames
modal logic
database
real world
knowledge base
expert systems
moving objects
multi class
video frames
frame rate