Lógica Modal y Sistemas Kripke La lógica modal es una extensión de la lógica clásica que introduce conceptos como la…