Sequent Calculi for Temporal Logics of Common Knowledge and Belief.

Jurate Sakalauskaite

Published in: Informatica (2006)

Keyphrases

temporal logic
modal operators
temporal knowledge
modal logic
belief revision
model checking
knowledge base
sequent calculi
expert systems
mazurkiewicz traces
knowledge representation
concurrent systems
temporal information
satisfiability problem
formal representation