Proofs and Models in Philosophical Logic