IV Workshop on Philosophical Logic