Sofía Santiago-Fernández

activity

20242026

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Completeness and Incompleteness for Expanding Gödel-Löb Logics

Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten +1

Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and…

math.LO2024

A tree rewriting system for the Reflection Calculus

Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque

The $R e f l ec t i o n$ $C a l c u l u s$ ( $RC$ ) is the fragment of the polymodal logic $GLP$ in the language $L^{+}$ whose formulas are built up from $⊤$ …