Title: Philosophical logic (Synthese library)