Předměty
- Modální logikyALG110012 | Filozofická fakulta
- Modální logikaALG200010 | Filozofická fakulta
- Modální logiky IALG210008 | Filozofická fakulta
- Modální logiky IIALGV00038 | Filozofická fakulta
- Modální logiky v teoretické informaticeALGV00056 | Filozofická fakulta
- Seminář k písemné práciALG100017 | Filozofická fakulta
- Klasická logika I +2ALG110004 | Filozofická fakulta
- Logický proseminářALG200004 | Filozofická fakulta
- Teorie důkazů +1ALG500001 | Filozofická fakulta
- Neklasické logikyALG500004 | Filozofická fakulta
Publikace
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Filozofická fakulta
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Epistemic Logics for Skeptical Agents2016 | Filozofická fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- On Monotone Modalities and Adjointness2011 | Filozofická fakulta
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Uniformní interpolace a výrokové kvantifikátory v modální logice2007 | Filozofická fakulta
- Interpolace v modálních logikách2006 | Filozofická fakulta
- Smart Labels2004 | Filozofická fakulta
Loading network view...