ℹ️
🇬🇧
Search
Search for people relevant for "Kripke semantics"
Kripke semantics
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Eva Kolovratníková
External academic staff at Faculty of Arts
1 class
1 publication
Class
class
Optional Programme Course: Diachronic Linguistics II
ADE500080 |
Faculty of Arts
Publication
publication
Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics
2013 |
Faculty of Arts
Loading network view...
