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
29 June - 3 July 2026
AIML 2026 - Amsterdam, Netherlands.
27-31 July 2026
TACL 2026 - Krakow, Poland.
29-30 October 2026
Workshop and PhD thesis defence.
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