Algebra and sequent calculus for epistemic actions
<p>We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii) it goes with the introduction of non-d...
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | Journal article |
| Taal: | English |
| Gepubliceerd in: |
Elsevier
2005
|
| Onderwerpen: |