Mi trabajo se centra en la interacción de cuestiones lógicas y metafísicas, especialmente la metafísica de la modalidad, los fundamentos de la lógica modal, la teoría de contrapartes, condicionales, metaontología, vaguedad, ontología formal, y la herencia lewisiana. También estoy interesado en la posibilidad de ofrecer una reconstrucción estructuralista de las ciencias matemáticas y naturales.