Classes
- Graded Paper SeminarALG100017 | Faculty of Arts
- Classical Logic I +2ALG110004 | Faculty of Arts
- Modal LogicsALG110012 | Faculty of Arts
- Logic ProseminarALG200004 | Faculty of Arts
- Modal LogicALG200010 | Faculty of Arts
- Modal Logics IALG210008 | Faculty of Arts
- Proof Theory +1ALG500001 | Faculty of Arts
- Non-classical LogicsALG500004 | Faculty of Arts
- Seminar of Applied Mathematical LogicALG500011 | Faculty of Arts
- Non-classical Logics IALG500014 | Faculty of Arts
Publications
- Interpretability in PRA2009 | Faculty of Arts
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Faculty of Arts
- The Logic of Resources and Capabilities2018 | Faculty of Arts
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Faculty of Arts
- Lindenbaum-style proof of completeness for infinitary logics Part II2018 | Faculty of Arts
- Lindenbaum-style proof of completeness for infinitary logics Part I2018 | Faculty of Arts
- Lindenbaum and pair extension lemma in infinitary logics2018 | Faculty of Arts
- Lindenbaum-style proof of completeness for infinitary logics2017 | Faculty of Arts
- Epistemic Logics for Skeptical Agents2016 | Faculty of Arts
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts
Loading network view...