Showing cs.LOShow all
2 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,…