Browse wiki
From International Center for Computational Logic
We introduce an effective translation from … We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt. all proofs in the labelled calculus G3Kt. +
@inproceedings{LCR2018,
author = {Tim Lyon and Agata Ciabattoni and Revantha Ramanayake},
title = {From Display to Labelled Proofs for Tense Logics},
editor = {Artemov and Sergei and Nerode and Anil},
booktitle = {From Display to Labelled Proofs for Tense Logics},
volume = {10703},
publisher = {Springer International Publishing},
year = {2018},
pages = {120-139},
doi = {https://doi.org/10.1007/978-3-319-72056-2_8}
}
author = {Tim Lyon and Agata Ciabattoni and Revantha Ramanayake},
title = {From Display to Labelled Proofs for Tense Logics},
editor = {Artemov and Sergei and Nerode and Anil},
booktitle = {From Display to Labelled Proofs for Tense Logics},
volume = {10703},
publisher = {Springer International Publishing},
year = {2018},
pages = {120-139},
doi = {https://doi.org/10.1007/978-3-319-72056-2_8}
}
Lyon +
Tim +
Tim Lyon, Agata Ciabattoni, Revantha Raman … Tim Lyon, Agata Ciabattoni, Revantha Ramanayake<br/> '''[[Inproceedings3283|<b>From Display to Labelled Proofs for Tense Logics</b>]]''' <br/>__NOTOC__In Artemov, Sergei and Nerode, Anil, eds., <i>From Display to Labelled Proofs for Tense Logics</i>, volume 10703, 120-139, 2018. Springer International Publishing<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3283|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:From Display to Labelled Proofs for Tense Logics (PrePrint).pdf|Download]]rom Display to Labelled Proofs for Tense Logics (PrePrint).pdf|Download]] +
Tim Lyon, Agata Ciabattoni, Revantha Raman … Tim Lyon, Agata Ciabattoni, Revantha Ramanayake<br/> '''[[Inproceedings3283/en|<b>From Display to Labelled Proofs for Tense Logics</b>]]''' <br/>__NOTOC__In Artemov, Sergei and Nerode, Anil, eds., <i>From Display to Labelled Proofs for Tense Logics</i>, volume 10703, 120-139, 2018. Springer International Publishing<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3283|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:From Display to Labelled Proofs for Tense Logics (PrePrint).pdf|Download]]rom Display to Labelled Proofs for Tense Logics (PrePrint).pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
From Display to Labelled Proofs for Tense Logics +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
25. November 2024, 09:12:17 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
From Display to Labelled Proofs for Tense Logics +, From Display to Labelled Proofs for Tense Logics +, From Display to Labelled Proofs for Tense Logics +, From Display to Labelled Proofs for Tense Logics +, From Display to Labelled Proofs for Tense Logics +, From Display to Labelled Proofs for Tense Logics + and From Display to Labelled Proofs for Tense Logics +
