<div class="csl-bib-body">
<div class="csl-entry">Fitting, M., & Kuznets, R. (2015). Modal Interpolation via Nested Sequents. <i>Annals of Pure and Applied Logic</i>, <i>166</i>(3), 274–305. https://doi.org/10.1016/j.apal.2014.11.002</div>
</div>
-
dc.identifier.issn
0168-0072
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/150424
-
dc.description.abstract
The main method of proving the Craig Interpolation Property (CIP) constructively uses cut-free sequent proof systems. Until now, however, no such method has been known for proving the CIP using more general sequent-like proof formalisms, such as hypersequents, nested sequents, and labelled sequents. In this paper, we start closing this gap by presenting an algorithm for proving the CIP for modal logics by induction on a nested-sequent derivation. This algorithm is applied to all the logics of the so-called modal cube.
en
dc.publisher
Elsevier
-
dc.relation.ispartof
Annals of Pure and Applied Logic
-
dc.subject
Logic
-
dc.subject
Craig interpolation
-
dc.subject
modal logic
-
dc.subject
nested sequent
-
dc.subject
structural proof theory
-
dc.title
Modal Interpolation via Nested Sequents
-
dc.type
Artikel
de
dc.type
Article
en
dc.description.startpage
274
-
dc.description.endpage
305
-
dc.type.category
Original Research Article
-
tuw.container.volume
166
-
tuw.container.issue
3
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Annals of Pure and Applied Logic
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1016/j.apal.2014.11.002
-
dc.identifier.eissn
1873-2461
-
dc.description.numberOfPages
32
-
tuw.author.orcid
0000-0001-5894-8724
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
item.grantfulltext
restricted
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.openairetype
research article
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
