×

Found 8 Documents (Results 1–8)

Uniform interpolation via nested sequents. (English) Zbl 07547750

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 337-354 (2021).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Uniform Lyndon interpolation for basic non-normal modal logics. (English) Zbl 07547747

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 287-301 (2021).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Uniform interpolation from cyclic proofs: the case of modal mu-calculus. (English) Zbl 07532525

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, 335-353 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software