Items where Author is "Rooduijn, Jan"

Group by: Item Type | No Grouping
Jump to: Pre-print | Thesis
Number of items: 3.


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]


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 Sun May 26 00:30:30 2024 CEST.