Inproceedings3283

PublikationenPublications

• Nach AutorBy Author
  • Tim LyonTim Lyon
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

From Display to Labelled Proofs for Tense Logics

Tim LyonTim Lyon,  Agata CiabattoniAgata Ciabattoni,  Revantha RamanayakeRevantha Ramanayake

• ISBN: 978-3-319-72056-2
• Download
• DOI Link

Tim Lyon, Agata Ciabattoni, Revantha Ramanayake
From Display to Labelled Proofs for Tense Logics
In Artemov, Sergei and Nerode, Anil, eds., From Display to Labelled Proofs for Tense Logics, volume 10703, 120-139, 2018. Springer International Publishing

• Details
• Bibtex

• KurzfassungAbstract
  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.
• Weitere Informationen unter:Further Information: Link
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@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}
}