Olivier Gasquet

• Kripkes Worlds Studies in Universal Logic