3 papers
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…
cs.LO2025
Tree Rewriting Calculi for Strictly Positive Logics
Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
We study strictly positive logics in the language , which constructs formulas from , propositional variables, conjunction, and diamond modalities. We begin wit…
cs.CY2025
Specification languages for computational laws versus basic legal principles
Petia Guintchev, Joost J. Joosten, Sofia Santiago Fernández +3
We speak of a \textit{computational law} when that law is intended to be enforced by software through an automated decision-making process. As digital technologies evolve to offer…