Cyclic proofs for the first-order µ-calculus.
Autor: | Afshari, Bahareh1 (AUTHOR) bahareh.afshari@gu.se, Enqvist, Sebastian2 (AUTHOR), Leigh, Graham E3 (AUTHOR) |
---|---|
Zdroj: | Logic Journal of the IGPL. Feb2024, Vol. 32 Issue 1, p1-34. 34p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |