Francisco Hernández-Quiroz

MaRDI QIDQ2011629zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Theoretical Computer Science	2022-08-10	Paper
Shortening of proof length is elusive for theorem provers Parallel Processing Letters	2022-07-08	Paper
Minimal abductive solutions with explicit justification Logic Journal of the IGPL	2022-06-16	Paper
Computable Model Discovery and High-Level-Programming Approximations to Algorithmic Complexity (available as arXiv preprint)	2021-12-22	Paper
Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq} Logic Journal of the IGPL	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 Lecture Notes in Computer Science	2010-08-24	Paper

Research outcomes over time

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