Hasen’s paper, ‘Modal Ω-Logic: Automata, Neo-Logicism, and Set-theoretic Realism’, is forthcoming in the ‘Proceedings of the 2016 Meeting of the International Assocation for Computing and Philosophy’
Hasen’s paper, ‘Modal Ω-Logic: Automata, Neo-Logicism, and Set-theoretic Realism’, is forthcoming in the ‘Proceedings of the 2016 Meeting of the International Assocation for Computing and Philosophy’