modal neo-logicism