DS-2026-05: Kloibhofer, Johannes (2026) Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics. Doctoral thesis, University of Amsterdam.
Full text not available from this repository.| Item Type: | Thesis (Doctoral) |
|---|---|
| Report Nr: | DS-2026-05 |
| Series Name: | ILLC Dissertation (DS) Series |
| Year: | 2026 |
| Subjects: | Computation Logic |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 19 Jan 2026 13:08 |
| Last Modified: | 19 Jan 2026 21:11 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2409 |
Actions (login required)
 |
View Item |
