Jan Rooduijn profile picture

Jan Rooduijn

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Fragments and Frame Classes Towards a Uniform Proof Theory for Modal Fixed Point Logics