SMS: Philosophical Logic /