Rodrigo Nicolau Almeida
PhD student at Institute for Logic, Language and Computation of the University of Amsterdam
I am a PhD student at the Institute for Logic, Language and Computation of the University of Amsterdam , working under the supervision of Nick Bezhanishvili and Mamuka Jibladze . Before that I completed my masters thesis under the supervision of Nick and Tommaso Moraschini.
Interactive mathematics
Ordered spaces and frames
Explore spaces, frames, their properties, and interactive proofs in an illustrated mathematical atlas.
Explore the atlasNews
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 August 2026
Barcelona -- I will be visiting the Barcelona logic group .
26-27 September 2026
Louvain la Neuve -- I will be presenting joint work with Marco Abbadini and Igor Arrieta on the Heyting-to-topos problem .
25-28 August 2026
Prague -- I presented joint work with Nick and Guram Bezhanishvili and Simon Lemal in the workshop on interpolation and amalgamation.
27-31 July 2026
TACL 2026 - Krakow, Poland: I presented joint work with Marco Abbadini and Igor Arrieta on the Heyting-to-topos problem . Matteo de Berardinis presented an extended summary of our current research on descent and equivalence relations for non-classical logics. Simon Lemal presented joint work (together with Nick Bezhanishvili) on superamalgamation for modal lattices . Together with Qian Chen , we presented our classification of superamalgamation for bi-Gödel algebras.
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