A New Modal Lindström Theorem.

Johan van Benthem

Published in: Logica Universalis (2007)

Keyphrases

modal logic
random walk
information systems
high level
nonmonotonic logics
database
information retrieval
data model