View in EDS HTML Full Text PDF Full Text

Cyclic proofs for the first-order µ-calculus.

Saved in:

Bibliographic Details
Title:	Cyclic proofs for the first-order µ-calculus.
Authors:	Afshari, Bahareh¹, bahareh.afshari@gu.se, Enqvist, Sebastian², Leigh, Graham E³
Source:	Logic Journal of the IGPL; Feb2024, Vol. 32 Issue 1, p1-34, 34p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzac053