Title: Extending modal logic