Uniform interpolation via nested sequents and hypersequents

DOI10.1093/LOGCOM/EXAE053MaRDI QIDQ6923528zbMATH OpenFDO

Authors Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Publication date 30 September 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

modal logichypersequentsnested sequentsuniform interpolation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Uniform interpolation via nested sequents and hypersequents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6923528)