Home

A.__Baltag



Truth-as-Simulation: towards a coalgebraic perspective on logic and games