avatar

About me

I am a PhD student in Philosophy, with an emphasis in Logic, at the University of Campinas (UNICAMP) in Campinas, Brazil. I am primarily interested in semantics for non-classical logics, with a particular focus on the implementation of logical systems. Currently, I'm working with restricted non-deterministic matrices for intuitionistic and modal logics in a project supported by FAPESP (grant n. 21/01025-3).

Publications

  1. Leme, R., Olarte, C., Pimentel, E., & Coniglio, M. E. (2025). The Modal Cube Revisited: Semantics without Worlds. arXiv preprint arXiv:2505.12824.
  2. Leme, R., Coniglio, M., & Lopes, B. (2023). Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices. arXiv preprint arXiv:2308.13664.
  3. Leme, R., Coniglio, M., Lopes, B., & Venturi, G. (2024). Ecumenical Propositional Tableau. Studia Logica, 1-28.

Softwares

  1. nmatrix-generator A tool for producing truth tables for modal logics K and its extensions with D, T, B, 4 and 5 based on Kearns' level valuations.