Classes
- 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
- Non-classical LogicsALG500004 | Faculty of Arts
- Seminar of Applied Mathematical LogicALG500011 | Faculty of Arts
- Non-classical Logics IALG500014 | Faculty of Arts
- Non-classical Logics IIALG500015 | Faculty of Arts
- Modal Logics IIALGV00038 | Faculty of Arts
Publications
- Interpretability in PRA2009 | Faculty of Arts
- Consequence, Inference, Structure: Miscellanea Logica VII2008 | Faculty of Arts
- Proof systems for the coalgebraic cover modality2008 | Faculty of Arts
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- The Logica Yearbook 20052006 | Faculty of Arts
- Preface +12005 | Faculty of Arts
- Preface2005 | Faculty of Mathematics and Physics
- Smart Labels2004 | Faculty of Mathematics and Physics
- Feasible Disjunction Property and Feasible Interpolation in Modal LogicPublication without faculty affiliation
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Faculty of Arts
Loading network view...