Classes
- Modal LogicsALG110012 | Faculty of Arts
- Modal LogicALG200010 | Faculty of Arts
- Modal Logics IALG210008 | Faculty of Arts
- Modal Logics IIALGV00038 | Faculty of Arts
- Modal Logics in Theoretical Computer ScienceALGV00056 | Faculty of Arts
- Graded Paper SeminarALG100017 | Faculty of Arts
- Classical Logic I +2ALG110004 | Faculty of Arts
- Logic ProseminarALG200004 | Faculty of Arts
- Proof Theory +1ALG500001 | Faculty of Arts
- Non-classical LogicsALG500004 | Faculty of Arts
Publications
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Faculty of Arts
- Lindenbaum and pair extension lemma in infinitary logics2018 | Faculty of Arts
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts
- On Monotone Modalities and Adjointness2011 | Faculty of Arts
- Proof systems for the coalgebraic cover modality2008 | Faculty of Arts
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Interpolation in Modal Logics2006 | Faculty of Arts
- Feasible Disjunction Property and Feasible Interpolation in Modal LogicPublication without faculty affiliation
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Faculty of Arts
- The Logic of Resources and Capabilities2018 | Faculty of Arts
Loading network view...