Current Projects

Logic

Topological semantics for hyperintensional logic – in progress.

Philosophy of Math

To be updated.