Renato Leme

According to our database, Renato Leme authored at least 2 papers in 2025.

Collaborative distances:

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

2025

The Modal Cube Revisited: Semantics without Worlds.

Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo E. Coniglio

CoRR, May, 2025

Ecumenical Propositional Tableau.

Renato Leme, Marcelo Esteban Coniglio, Bruno Lopes, Giorgio Venturi

Stud Logica, April, 2025