Open menu
George Edward Huges
An introducation to modal logic