Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

Browse the full STACS paper archive.