SMS dit: Topics in philosophical logic