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.
News
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.
25-28 August 2026
Prague -- I presented joint work with Nick and Guram Bezhanishvili and Simon Lemal in the workshop on interpolation and amalgamation.
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 .
28 September -- 3 August 2026
Barcelona -- I will be visiting the Barcelona logic group .
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.
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