Philosophical Logic/Extensions