× Handbook of Philosophical LogicVolume 16herausgegeben von Dov M. Gabbay und Franz GuenthnerMitwirkendeHerausgegeben vonDov M. GabbayHerausgegeben vonFranz GuenthnerBelief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.