Infinitary Classical Logic: Recursive Equations and Interactive Semantics

Michele Basaldella

In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled…