2 search results - page 1 / 1 » Elements of Epistemic Crypto Logic |
139
click to vote
LOGCOM
2007
15 years 1 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
146
Voted
CLIMA
2004
15 years 3 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...