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 atlas

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 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.

...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