Crossmark

A General Formalised Framework for Reasoning About Display Calculi

Crossref DOI link: https://doi.org/10.1007/s11225-026-10239-8

Published Online: 2026-05-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Goré, Rajeev

Peigné, Anthony
Funding

Funding for this research was provided by:

Monash University
License Information

Text and Data Mining valid from 2026-05-04

Version of Record valid from 2026-05-04
More Information

Article History

Received: 29 April 2025

First Online: 4 May 2026