𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

✍ Scribed by Brian Hill; Francesca Poggiolesi

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
326 KB
Volume
94
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
✍ Robert A. Bull πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca