A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

DOI10.1093/JIGPAL/JZAC078OpenAlexW4313418220MaRDI QIDQ6200762

Martin Wirsing, Alexander Knapp

Publication date: 20 February 2024

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzac078

zbMATH Keywords

cut eliminationsequent calculusdynamic epistemic logic

Mathematics Subject Classification ID

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

This page was built for publication: A reduction-based cut-free Gentzen calculus for dynamic epistemic logic