3 citations · 5 across the 14 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Logics Containing wK4: Selection à la Fine
Simon Santschi, Niels C. Vooijs
We generalize Fine's Iterative Selection Method to the weakly transitive setting. In particular, this provides a transparent frame-theoretic proof of the finite model property for…
cs.LO2025
Algebraic Proof Theory for Infinitary Action Logic
Wesley Fussner, Simon Santschi, Borja Sierra Miranda
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras,…
cs.LO2023★ 1 cited
Deciding Equations in the Time Warp Algebra
Sam van Gool, Adrien Guatto, George Metcalfe +1
Join-preserving maps on the discrete time scale , referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…