Iemhoff, Rosalie The G4i analogue of a G3i sequent calculus. (English) Zbl 07625362 Stud. Log. 110, No. 6, 1493-1506 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{R. Iemhoff}, Stud. Log. 110, No. 6, 1493--1506 (2022; Zbl 07625362) Full Text: DOI
van der Giessen, Iris; Jalali, Raheleh; Kuznets, Roman 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 \textit{I. van der Giessen} et al., Lect. Notes Comput. Sci. 13038, 337--354 (2021; Zbl 07547750) Full Text: DOI arXiv
Akbar Tabatabai, Amirhossein; Iemhoff, Rosalie; Jalali, Raheleh 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 \textit{A. Akbar Tabatabai} et al., Lect. Notes Comput. Sci. 13038, 287--301 (2021; Zbl 07547747) Full Text: DOI arXiv
Afshari, Bahareh; Leigh, Graham E.; Menéndez Turata, Guillermo 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 \textit{B. Afshari} et al., Lect. Notes Comput. Sci. 12842, 335--353 (2021; Zbl 07532525) Full Text: DOI
van der Giessen, Iris; Iemhoff, Rosalie Sequent calculi for intuitionistic Gödel-Löb logic. (English) Zbl 1490.03013 Notre Dame J. Formal Logic 62, No. 2, 221-246 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 03B20 03F45 PDFBibTeX XMLCite \textit{I. van der Giessen} and \textit{R. Iemhoff}, Notre Dame J. Formal Logic 62, No. 2, 221--246 (2021; Zbl 1490.03013) Full Text: DOI
Kurahashi, Taishi Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 1462.03013 Arch. Math. Logic 59, No. 5-6, 659-678 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{T. Kurahashi}, Arch. Math. Logic 59, No. 5--6, 659--678 (2020; Zbl 1462.03013) Full Text: DOI arXiv
Iemhoff, Rosalie Uniform interpolation and the existence of sequent calculi. (English) Zbl 1475.03078 Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03B55 03B20 03F05 03F07 PDFBibTeX XMLCite \textit{R. Iemhoff}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019; Zbl 1475.03078) Full Text: DOI Link
Lauridsen, Frederik M. Intermediate logics admitting a structural hypersequent calculus. (English) Zbl 1494.03069 Stud. Log. 107, No. 2, 247-282 (2019). MSC: 03B55 03F05 03F03 06D20 PDFBibTeX XMLCite \textit{F. M. Lauridsen}, Stud. Log. 107, No. 2, 247--282 (2019; Zbl 1494.03069) Full Text: DOI