CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
作者:
Robert A. Bull,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1992)
卷期:
Volume 38,
issue 1
页码: 85-100
ISSN:0942-5616
年代: 1992
DOI:10.1002/malq.19920380107
出版商: WILEY‐VCH Verlag Berlin GmbH
关键词: Propositional dynamic logic;Tense logic;Nested sequential calculus;Cut‐elimination
数据来源: WILEY
摘要:
AbstractThe 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 calculus, with the cut rule omitted, is complete with respect to the standard semantics. It follows that cut elimination does hold for this nested sequential calculus. MSC: 03B45.
点击下载:
PDF
(763KB)
返 回