3 papers
cs.LO2025
Knowledge and Common Knowledge of Strategies
Borja Sierra Miranda, Thomas Studer
Most existing work on strategic reasoning simply adopts either an informed or an uninformed semantics. We propose a model where knowledge of strategies can be specified on a fine-g…
math.LO2025
Coalgebraic proof translations for non-wellfounded proofs
Borja Sierra Miranda, Thomas Studer, Lukas Zenger
Non-wellfounded proof theory results from allowing proofs of infinite height in proof theory. To guarantee that there is no vicious infinite reasoning, it is usual to add a constra…
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,…