Publikace
- Důsledek, inference, struktura: Miscellanea Logica VII2008 | Filozofická fakulta
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Filozofická fakulta
- The Logic of Resources and Capabilities2018 | Filozofická fakulta
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part II2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part I2018 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics2017 | Filozofická fakulta
- Epistemic Logics for Skeptical Agents2016 | Filozofická fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
Předměty
- Seminář k písemné práciALG100017 | Filozofická fakulta
- Klasická logika I +2ALG110004 | Filozofická fakulta
- Modální logikyALG110012 | Filozofická fakulta
- Logický proseminářALG200004 | Filozofická fakulta
- Modální logikaALG200010 | Filozofická fakulta
- Modální logiky IALG210008 | Filozofická fakulta
- Teorie důkazů +1ALG500001 | Filozofická fakulta
- Neklasické logikyALG500004 | Filozofická fakulta
- Seminář aplikované matematické logikyALG500011 | Filozofická fakulta
- Neklasické logiky IALG500014 | Filozofická fakulta
Loading network view...