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
21-25 July 2025
LATD 2025 - Sienna, Italy.
6 April 2025
I visted the Logic, Algebra and Categories Group in Milan , where I gave a talk on Pitts problem and higher order uniform interpolation.
28 March 2025
I visted the Theory Group in Birmimgham , where I gave a talk on step by step constructions of Heyting algebras.
Recent Publications
Maximality Principles in Modal Logic and the Axiom of Choice
Fundamenta Mathematicae, Volume 271, October 2025, Pages 173-193 • 2025
A Coalgebraic Semantics for Intuitionistic Modal Logic
Advances in Modal Logic, Volume 15, August 2024, Pages 59-77 • 2024
Unification with Simple Variable Restrictions and Admissibility of Pi2-rules
Advances in Modal Logic, Volume 15, August 2024, Pages 79-100 • 2024
Π2-rule systems and inductive classes of Gödel algebras
Annals of Pure and Applied Logic, Volume 176, Issue 4, April 2025 • 2025
Polyatomic logics and generalized Blok–Esakia theory
Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 887–935 • 2023