Rodrigo Nicolau Almeida

According to our database, Rodrigo Nicolau Almeida authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polyatomic logics and generalized Blok-Esakia theory.

Rodrigo Nicolau Almeida

J. Log. Comput., 2024

Unification with Simple Variable Restrictions and Admissibility of Π₂-rules.

Rodrigo Nicolau Almeida, Silvio Ghilardi

CoRR, 2024

Unification With Simple Variable Restrictions and Admissibility of Π2-Rules.

Rodrigo Nicolau Almeida, Silvio Ghilardi

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Coalgebraic Semantics for Intuitionistic Modal Logic.

Rodrigo Nicolau Almeida, Nick Bezhanishvili

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Π₂-Rule Systems and Inductive Classes of Gödel Algebras.

Rodrigo Nicolau Almeida

CoRR, 2023

2019

Heritage Interpretation Simulation Dataset.

Rodrigo Nicolau Almeida, Nuno David

Dataset, July, 2019

Signs of Heritage - An Agent-Based Model of the Dynamics of Heritage Categories.

Rodrigo Nicolau Almeida, Nuno David

IEEE Trans. Comput. Soc. Syst., 2019