Francisco Hernández-Quiroz

Available identifiers

Publication	Date of Publication	Type
Justification logic and the epistemic contribution of deduction	2022-12-29	Paper
Computable model discovery and high-level-programming approximations to algorithmic complexity	2022-08-10	Paper
Shortening of proof length is elusive for theorem provers	2022-07-08	Paper
Minimal abductive solutions with explicit justification	2022-06-16	Paper
Computable Model Discovery and High-Level-Programming Approximations to Algorithmic Complexity	2021-12-22	Paper
Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}	2021-01-08	Paper
Logics of programs as a fuelling force for semantics	2020-08-25	Paper
Is there any real substance to the claims for a ``new computationalism?	2017-08-04	Paper
A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes	2012-08-05	Paper
Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes	2010-08-24	Paper

This page was built for person: Francisco Hernández-Quiroz