Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
Autores: Pablo Barenbaum
arXiv (Cornell University)
2026
Citas: 0
Citas por Año
Esta publicación aún no registra citas anuales en la base de datos.
Detalle de publicaciones citantes no descargado
Esta publicación registra 0 citas acumuladas (métrica provista por OpenAlex), pero sus artículos citantes individuales aún no han sido importados a la base de datos local.
El PDF fue subido pero no se pudieron extraer referencias ni figuras del documento.