Extending modal logic | lit.salon