1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2023
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic
Ana de Almeida Borges, Joost J. Joosten
We determine the strictly positive fragment of the quantified provability logic of Heyting Arithmetic. We show that $\math…
math.LO2020★ 1 cited
Quantified Reflection Calculus with one modality
Ana de Almeida Borges, Joost J. Joosten
This paper presents the logic QRC, which is a strictly positive fragment of quantified modal logic. The intended reading of the diamond modality is that of consistency of a for…
cs.AI2018
When logic lays down the law
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz +5
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. W…