Pablo Dopico Fernandez

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

Top Venues

Rev. Symb. Log.

Publications

Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype. Rev. Symb. Log. 16 (2) (2023)
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE. CoRR (2020)