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.

...see All News

Recent Publications

Coequivalence relations and descent in modal logic

Proceedings of AIML 2026. • April 2026

Read Paper

Uniform local tabularity in intuitionistic logic

Proceedings of AIML 2026. Extended version available here. • April 2026

Read Paper

Maximality Principles in Modal Logic and the Axiom of Choice

Fundamenta Mathematicae, Volume 271, October 2025, Pages 173-193 • 2025

Read Paper

A Coalgebraic Semantics for Intuitionistic Modal Logic

Advances in Modal Logic, Volume 15, August 2024, Pages 59-77 • 2024

Read Paper

Unification 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 Paper

Polyatomic logics and generalized Blok–Esakia theory

Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 887–935 • 2023

Read Paper