Předměty
- Modální logiky IIALGV00038 | Filozofická fakulta
- Matematická fuzzy logikaALGV00041 | Filozofická fakulta
- Modální logiky v teoretické informaticeALGV00056 | Filozofická fakulta
- General Theories of Logical SystemsALGV19015 | Filozofická fakulta
- 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
Publikace
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logicePublikace bez příslušnosti k fakultě
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Filozofická fakulta
- The Logic of Resources and Capabilities2018 | 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-style proof of completeness for infinitary logics2017 | Filozofická fakulta
Loading network view...