CARREGANDO O RADAR…
Uncountably many maximally consistent neighborhood complete congruential modal logics | Radar arXiv · portela.dev