1 citations · 1 across the 13 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
A tree rewriting system for the Reflection Calculus
Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque
The () is the fragment of the polymodal logic in the language whose formulas are built up from …
cs.LO2024
Logics of polyhedral reachability
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral s…
cs.LO2024★ 1 cited
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, Martín Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…