Logica modală a lui Saul Kripke

(Exemplu de model Kripke pentru logica temporală liniară, o logică modală particulară) Două dintre lucrările anterioare ale lui Kripke, Teorema unei completitudini în logica modală și Considerentele semantice privind logica modală, prima scrisă când era adolescentă, se afla pe logica … Citeşte mai mult

The post 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 *