Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Papafilippou, Konstantinos"'
We examine the interplay between projectivity (in the sense that was introduced by S.~Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logic. More precisely, we explore whether a projective substitution of a f
Externí odkaz:
http://arxiv.org/abs/2403.19525
The topological $\mu$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly transitive wK4 fr
Externí odkaz:
http://arxiv.org/abs/2304.03339
The topological ${\mu}$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly transitive (wK4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=arXiv_______::bbbbab434c109453d601a4c8bf658d42
http://arxiv.org/abs/2304.03339
http://arxiv.org/abs/2304.03339
The topological $μ$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly transitive (wK4) f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc4ff283b13ba93ecccc5e0b8ea5474a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Papafilippou, Konstantinos
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Joost J. Joosten
In this thesis we study Beklemishev’s combinatorial principle Every Worm Dies, EWD which although
In this thesis we study Beklemishev’s combinatorial principle Every Worm Dies, EWD which although
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd4af1f79f769a85e6f54247db802519
http://hdl.handle.net/2445/170755
http://hdl.handle.net/2445/170755