ILLC Preprints and Publications

Items where Author is "Rooduijn, Jan"

[up]

Group by: Item Type | No Grouping

Jump to: Pre-print | Thesis

Number of items: 3.

Pre-print

PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)

MoL-2018-34: Rooduijn, Jan (2018) A right semimodel structure on semisimplicial sets. [Pre-print]

Thesis

DS-2024-01: Rooduijn, Jan (2024) Fragments and Frame Classes: Towards a Uniform Proof Theory for Modal Fixed Point Logics. Doctoral thesis, Universiteit van Amsterdam.

This list was generated on Thu Apr 25 00:30:34 2024 CEST.

ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility