Strong Completeness Theorems for Weak Logics of Common Belief.

Luc Lismont Philippe Mongin

Published in: J. Philos. Log. (2003)

Keyphrases

expressive power
modal operators
modal logic
data sets
truth values
subjective logic
belief revision
temporal logic
classical logic
propositional dynamic logic