Předměty
- Logický proseminářALG200004 | Filozofická fakulta
- Neklasické modely uvažováníALG519025 | Filozofická fakulta
- Povinně volitelný předmět na zahr. stáži - Kognitivní vědaALGV00108 | Filozofická fakulta
- Povinně volitelný předmět na zahr. stáži - Filosoficko-logický seminářALGV00109 | Filozofická fakulta
- Povinně volitelný předmět na zahr. stáži - Pokročilý kurs z filosofické logikyALGV00110 | Filozofická fakulta
- Povinně volitelný předmět na zahr. stáži - Pokročilý kurs z logikyALGV00111 | Filozofická fakulta
- Seminář k písemné práciALG100017 | Filozofická fakulta
- Klasická logika I +2ALG110004 | Filozofická fakulta
- Modální logikyALG110012 | Filozofická fakulta
- Modální logikaALG200010 | Filozofická fakulta
Publikace
- 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
- On Monotone Modalities and Adjointness2011 | Filozofická fakulta
Loading network view...