Show Advanced FiltersHide Advanced Filters
Use the filters to refine the search results
ResetAdd New FilterApply
Now showing items 1-1 of 1
Mikec, Luka (Date of defense: 2021-04-30)
In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we ...
Vuković, Mladen (1)
English (1)
... Show more
Ciències Experimentals i Matemàtiques (1)
Lògica matemàtica (1)
Lógica matemática (1)
Mathematical logic (1)
Metamatemàtica (1)
51 - Mathematics (1)
Open access (1)