×

Found 12 Documents (Results 1–12)

Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022).
MSC:  03F45 03B35 03F05
PDFBibTeX XMLCite

A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Machine-checked proof-theory for propositional modal logics. (English) Zbl 1439.03035

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 173-243 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Sequent calculus in the topos of trees. (English) Zbl 1461.03060

Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 133-147 (2015).
MSC:  03G30 03F03 03F05
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

A labelled sequent calculus for BBI: proof theory and proof search. (English) Zbl 1401.03098

Galmiche, Didier (ed.) et al., Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40536-5/pbk). Lecture Notes in Computer Science 8123. Lecture Notes in Artificial Intelligence, 172-187 (2013).
MSC:  03F03 03B35 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Labelled tree sequents, tree hypersequents and nested (deep) sequents. (English) Zbl 1296.03031

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 279-299 (2012).
MSC:  03F05 03F45
PDFBibTeX XMLCite

Generic methods for formalising sequent calculi applied to provability logic. (English) Zbl 1307.03033

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 263-277 (2010).
MSC:  03F45 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software