https://bookem.ir/books/2593090-Corso-di-logica-modale-proposizionale