ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Kripke models"
Kripke models
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Not all Kripke models of HA are locally PA
2022 |
Matematicko-fyzikální fakulta
publication
A nonstandard semantic framework for intuitionistic logic
2016 |
Filozofická fakulta
publication
A new semantic framework for modal logic
2014 |
Filozofická fakulta
