Authors

B. Afshari
Sebastian Enqvist
Graham Leigh
Johannes Marti
Y. Venema

Date (dd-mm-yyyy)

2025-09

Title

Proof Systems for two-Way Modal μ-Calculus

Journal

Journal of Symbolic Logic

Volume

90

Publication Year

2025-09

Pages

1211-1260

Issue number

3

Document type

Article

URL

go to publisher's site

Permalink

https://hdl.handle.net/11245.1/0bd8627d-5c4f-4735-ae4b-288628f474c1