Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
<p>We develop a cut-free (and hence analytic) nested sequent calculus for a modal logic of actions and propositions. The actions act on propositions via a dynamic modality (the <em>weakest precondition</em> of program logics), whose left adjoint we refer to as &apos;update&...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2012
|
| Subjects: |