https://1library.co/document/yjonk96z-modelos-kripke-logicas-informatica-inteligencia-artificial.html