Rodrigo Nicolau Almeida
Postdoctoral researcher at Gent University
I am a postdoctoral researcher at the Department of Mathematics (Analysis, Logic and Discrete Mathematics) in the University of Gent , working on a research project under coordination of Lev Beklemishev. I recently defended my PhD at the Institute for Logic, Language and Computation where I worked with Nick Bezhanishvili and Mamuka Jibladze . You can find my thesis here .
Interactive mathematics
Ordered spaces and frames
An atlas of spaces, frames, their properties, and interactive proofs.
Explore!News
29-30 October 2026
Amsterdam -- On the 29th of October I will organize a workshop on the topics of duality theory, algebraic logic and definability problems. On the 30th I will defend my PhD thesis.
28 September -- 3 October 2026
Barcelona -- I visited the Barcelona logic group .
26-27 September 2026
Louvain la Neuve -- I presented joint work with Marco Abbadini and Igor Arrieta on the Heyting-to-topos problem .
16 September 2026
ILLC -- together with Soren Knudstorp , and the special presence of Pawel Pawlowski , we presented a proof that Medvedev's logic is undecidable .
25-28 August 2026
Prague -- I presented joint work with Nick and Guram Bezhanishvili and Simon Lemal in the workshop on interpolation and amalgamation.
Recent Publications
Coequivalence relations and descent in modal logic
Proceedings of AIML 2026. • April 2026
Read PaperUniform local tabularity in intuitionistic logic
Proceedings of AIML 2026. Extended version available here. • April 2026
Read PaperMaximality Principles in Modal Logic and the Axiom of Choice
Fundamenta Mathematicae, Volume 271, October 2025, Pages 173-193 • 2025
Read PaperA Coalgebraic Semantics for Intuitionistic Modal Logic
Advances in Modal Logic, Volume 15, August 2024, Pages 59-77 • 2024
Read PaperUnification with Simple Variable Restrictions and Admissibility of Pi2-rules
Advances in Modal Logic, Volume 15, August 2024, Pages 79-100 • 2024
Read PaperΠ2-rule systems and inductive classes of Gödel algebras
Annals of Pure and Applied Logic, Volume 176, Issue 4, April 2025 • 2025
Read PaperPolyatomic logics and generalized Blok–Esakia theory
Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 887–935 • 2023
Read Paper