Modele canonice și Carlson în logica modală a lui Saul Kripke
|
Modele canonice Pentru orice logică modală normală L, poate fi construit un model Kripke (numit model canonic), care validează exact teoremele L, printr-o adaptare a tehnicii standard de a folosi seturi consistente maximale ca modele. Modelele Canonice Kripke joacă un … Citeşte mai mult