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