[finite-model-theory] [Vardi-list] World Logic Day -- From Greek Paradoxes to Political