Classes
- Modal Logics IIALGV00038 | Faculty of Arts
- Mathematical Fuzzy LogicALGV00041 | Faculty of Arts
- Modal Logics in Theoretical Computer ScienceALGV00056 | Faculty of Arts
- General Theories of Logical SystemsALGV19015 | 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
- 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
- Proof systems for the coalgebraic cover modality2008 | 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
- 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-style proof of completeness for infinitary logics2017 | Faculty of Arts
Loading network view...