ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "calculi"
calculi
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Marta Bílková Ph.D.
Externí akademický pracovník na Filozofická fakulta
24 předmětů
24 publikací
Předměty
class
Modální logiky
ALG110012 |
Filozofická fakulta
class
Modální logiky I
ALG210008 |
Filozofická fakulta
class
Seminář k písemné práci
ALG100017 |
Filozofická fakulta
class
Klasická logika I
+2
ALG110004 |
Filozofická fakulta
class
Logický proseminář
ALG200004 |
Filozofická fakulta
class
Modální logika
ALG200010 |
Filozofická fakulta
class
Teorie důkazů
+1
ALG500001 |
Filozofická fakulta
class
Neklasické logiky
ALG500004 |
Filozofická fakulta
class
Seminář aplikované matematické logiky
ALG500011 |
Filozofická fakulta
class
Neklasické logiky I
ALG500014 |
Filozofická fakulta
Načíst další předměty (14)
Publikace
publication
The Logic of Resources and Capabilities
2018 |
Filozofická fakulta
publication
Proof systems for Moss' coalgebraic logic
2014 |
Filozofická fakulta
publication
Důkazové systémy pro koalgebraickou modalitu
2008 |
Filozofická fakulta
publication
Uniformní interpolace a výrokové kvantifikátory v modální logice
2007 |
Filozofická fakulta
publication
MOSS' LOGIC FOR ORDERED COALGEBRAS
2022 |
Filozofická fakulta
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Filozofická fakulta
publication
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Filozofická fakulta
Načíst další publikace (14)
Loading network view...