Classes
- Compulsory elective course during studies abroad - Cognitive ScienceALGV00108 | Faculty of Arts
- Compulsory elective course during studies abroad - Seminar in Logic and PhilosophyALGV00109 | Faculty of Arts
- Compulsory elective course during studies abroad - Advanced course in philosophical logicALGV00110 | Faculty of Arts
- Compulsory elective course during studies abroad - Advanced course in logicALGV00111 | Faculty of Arts
- 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
Publications
- 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
- On Monotone Modalities and Adjointness2011 | Faculty of Arts
Loading network view...