Report icon

Report

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic

Abstract:

We develop a cut-free sequent calculus for an algebraic semantics of a Dynamic Epistemic Logic. The calculus is nested and consists of an action linear logic which acts on a propositional logic via a dynamic modality and its left adjoint update. Both logics are positive and have adjoint epistemic modalities. We prove admssibility of cuts, contraction, and weakening (where appropriate), as well as soundness and completeness theorems with regard to the algebraic semantics. To model epistemic pr...

Expand abstract

Actions


Access Document


Files:
Publisher:
OUCL
Publication date:
2010-06-01
UUID:
uuid:61ea0cf0-f217-4e11-a280-1a0206bd1505
Local pid:
cs:3623
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP