Voi de fini conceptele de model-Kripke, bisimulare, voi enunta cateva proprietati ale acestora si voi arata constructia unui model-Kripke minimal ca model minimal modulo o relatie de bisimulare sau factorizat la o relatie de bisimulare (mai exact, cea mai mare relatie de bisimulare pe model). Evident, modelul minimal contine cel mult numarul de stari ale modelului de baza. In acest fel, sunt eliminate starile superflue modelului. Modelul minimal poate util in logica (dinamica) epistemica: intuitia este ca acesta conserva cunoasterea unui agent eliminand posibilitatile (credintele, banuielile etc.) redundante (sau care nu afecteaza cunoasterea acestuia). In fi ne, imi ramane de explorat in amanunt utilitatea acestora.
Alexandru Dragomir – Modele minimale si bisimulare in logica modala
Jurnalul Departamentului de Filosofie Teoretica 