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&...
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Journal article |
| اللغة: | English |
| منشور في: |
2012
|
| الموضوعات: |