ℹ️
🇬🇧
Search
Search for people relevant for "Kripke semantics"
Kripke semantics
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Marta Bílková Ph.D.
External academic staff at Faculty of Arts
24 publications
24 classes
Publications
publication
MOSS' LOGIC FOR ORDERED COALGEBRAS
2022 |
Faculty of Arts
publication
The Logic of Resources and Capabilities
2018 |
Faculty of Arts
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Faculty of Arts
publication
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Faculty of Arts
publication
Epistemic Logics for Skeptical Agents
2016 |
Faculty of Arts
publication
Proof systems for Moss' coalgebraic logic
2014 |
Faculty of Arts
publication
On Monotone Modalities and Adjointness
2011 |
Faculty of Arts
Load more publications (14)
Classes
class
Modal Logics
ALG110012 |
Faculty of Arts
class
Modal Logics I
ALG210008 |
Faculty of Arts
class
Modal Logics II
ALGV00038 |
Faculty of Arts
class
Graded Paper Seminar
ALG100017 |
Faculty of Arts
class
Classical Logic I
+2
ALG110004 |
Faculty of Arts
class
Logic Proseminar
ALG200004 |
Faculty of Arts
class
Modal Logic
ALG200010 |
Faculty of Arts
class
Proof Theory
+1
ALG500001 |
Faculty of Arts
class
Non-classical Logics
ALG500004 |
Faculty of Arts
class
Seminar of Applied Mathematical Logic
ALG500011 |
Faculty of Arts
Load more classes (14)
Loading network view...