Propositional dynamic logic is weaker without tests

✍ Scribed by Francine Berman; Michael Paterson

Book ID: 107948482
Publisher: Elsevier Science
Year: 1981
Tongue: English
Weight: 569 KB
Volume: 16
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(81)90102-x

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