Published in: LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Bahareh Afshari, Graham E. Leigh, and Guillermo Menéndez Turata. A Cyclic Proof System for Full Computation Tree Logic. In 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 252, pp. 5:1-5:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{afshari_et_al:LIPIcs.CSL.2023.5, author = {Afshari, Bahareh and Leigh, Graham E. and Men\'{e}ndez Turata, Guillermo}, title = {{A Cyclic Proof System for Full Computation Tree Logic}}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, pages = {5:1--5:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-264-8}, ISSN = {1868-8969}, year = {2023}, volume = {252}, editor = {Klin, Bartek and Pimentel, Elaine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.5}, URN = {urn:nbn:de:0030-drops-174664}, doi = {10.4230/LIPIcs.CSL.2023.5}, annote = {Keywords: Full computation tree logic, Hypersequent calculus, Cyclic proofs} }
Published in: LIPIcs, Volume 38, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
Bahareh Afshari, Stefan Hetzl, and Graham E. Leigh. Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. In 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 38, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{afshari_et_al:LIPIcs.TLCA.2015.1, author = {Afshari, Bahareh and Hetzl, Stefan and Leigh, Graham E.}, title = {{Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {1--16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-87-3}, ISSN = {1868-8969}, year = {2015}, volume = {38}, editor = {Altenkirch, Thorsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TLCA.2015.1}, URN = {urn:nbn:de:0030-drops-51516}, doi = {10.4230/LIPIcs.TLCA.2015.1}, annote = {Keywords: Classical logic, Context-free grammars, Cut elimination, First-order logic, Herbrand's theorem, Proof theory} }
Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Bahareh Afshari and Graham E. Leigh. On closure ordinals for the modal mu-calculus. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 30-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{afshari_et_al:LIPIcs.CSL.2013.30, author = {Afshari, Bahareh and Leigh, Graham E.}, title = {{On closure ordinals for the modal mu-calculus}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {30--44}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.30}, URN = {urn:nbn:de:0030-drops-41889}, doi = {10.4230/LIPIcs.CSL.2013.30}, annote = {Keywords: Closure ordinals, Modal mu-calculus, Tableaux} }