Th takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity.
Th takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity.