Verified Tableaux: from Modal Logics to Modal Fixpoint Logics
Crossref DOI link: https://doi.org/10.1007/s10817-026-09754-z
Published Online: 2026-05-08
Published Print: 2026-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Goré, Rajeev
Peigné, Anthony
Funding for this research was provided by:
Monash University
Text and Data Mining valid from 2026-05-08
Version of Record valid from 2026-05-08
Article History
Received: 29 December 2024
Accepted: 26 March 2026
First Online: 8 May 2026
Declarations
:
: The authors declare no competing interests.