Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Uniform Lyndon Interpolation via Non-wellfounded Proofs
Borja Sierra Miranda, Thomas Studer
Non-wellfounded proof theory has been applied to establish uniform interpolation and Lyndon interpolation (separately) for multiple logics. However, it has not yet been used to pro…
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…