Modal Logics for Communicating Systems.

Published in: Theor. Comput. Sci. (1987)

Keyphrases

modal logic
inference rules
distributed systems
temporal logic
decision procedures
query processing
np complete
default logic
reasoning systems