Author: Fernández, Víctor
- : A Kalmár-style completeness proof for the logics of the hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 64 (2023), issue 4, pp. 485-509
- : A topological duality for the $F$-chains associated with the logic $C_\omega $. (English). Mathematica Bohemica, vol. 142 (2017), issue 3, pp. 225-241
Search
Partner of
