The application of Kripke-type structures to regional development programs | Publicación