Joel Gomes

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Clifford Algebra

Proof Procedures

Temporal Reasoning

Propositional Dynamic Logic

Top Venues

Publications

Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
On Logics of Perfect Paradefinite Algebras. CoRR (2021)