Stav dette: Handbook of Philosophical Logic