A tableau calculus for temporal description logic: the expanding domain caseMonodic epistemic predicate logic
