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

The post Modele canonice și Carlson în logica modală a lui Saul Kripke appeared first on SetThings.

Faci un comentariu sau dai un răspuns?

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *