SMS: Philosophical Logic