Home
DCC eCatalog
A.__Baltag
Truth-as-Simulation: towards a coalgebraic perspective on logic and games