Jefferson de Barros Santos

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 3

Top Topics

Iterative Procedure

Epistemic Logic

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler
A logical framework with a graph meta-language. CoRR (2021)
Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
Revisiting Counter-model Generation for Minimal Implicational Logic. CoRR (2019)
Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. Electron. Notes Theor. Comput. Sci. 324 (2016)