A Modal Process Logic

Kim Guldstrand Larsen Bent Thomsen

Published in: LICS (1988)

Keyphrases

modal logic
database
real world
data mining
information retrieval
social networks
case study
multi agent
search algorithm
process model