Formalizing Concurrent Common Knowledge as Product of Modal Logics.

Vania Costa Mario R. F. Benevides

Published in: Log. J. IGPL (2005)

Keyphrases

modal logic
decision procedures
domain knowledge
knowledge management
knowledge acquisition
inference rules
nonmonotonic logics
knowledge base
temporal logic
life cycle
modal operators
cooperative
search algorithm
expert systems
knowledge representation