Eduardo Hermo Reyes

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Proof Theoretic

Formal Language

Sound And Complete Axiomatization

Top Venues

Advances in Modal Logic

Publications