particular, a detailed presentation of Modal Logics, including First-Order Modal and