introduction to modal logic | lit.salon