Modal interpolation via nested sequents
Under an Elsevier user license
open archive
MSC
03B45
03C40
03F07
03B70
Keywords
Craig interpolation
Nested sequent
Structural proof theory
Modal logic
Cited by (0)
- 1
This collaboration was made possible by several visits of this author to Bern, thanks to the financial support of the Swiss National Science Foundation Grants 200020-134740 and PZ00P2-131706.
- 2
In 2011–2013, this author was supported by the Swiss National Science Foundation Grant PZ00P2-131706. The final stages of the research were supported by the Austrian Science Fund Grants Y 544 and P 25417.
- 3
Affiliation b of this author corresponds to the period up until February 2014, when most of the work on this paper was done. Affiliation c of this author is his current affiliation and corresponds to the preparation of the final version of the paper.
Copyright © 2014 Elsevier B.V. All rights reserved.