Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03804746n
Noun Concept
Categories: Lógica não clássica, Lógica matemática, Lógica filosófica, Teoria dos modelos
PT
Semânticas de Kripke  semânticas Kripke  modelo kripke  semântica de kripke
PT
Uma semântica de Kripke - também conhecida como semântica relacional ou semântica de estruturas, e muitas vezes confundida com semântica de mundos possíveis - é uma semântica formal para sistemas lógicos não-clássicos criados no final dos anos 1950 e início dos anos 1960 por Saul Kripke. Wikipedia
Definitions
Relations
Sources
PT
Uma semântica de Kripke - também conhecida como semântica relacional ou semântica de estruturas, e muitas vezes confundida com semântica de mundos possíveis - é uma semântica formal para sistemas lógicos não-clássicos criados no final dos anos 1950 e início dos anos 1960 por Saul Kripke. Wikipedia
IS A
modelo de lógica
NAMED AFTER
Saul Kripke
STUDIED BY
teoria das categorias
Wikipedia
PT
Semânticas de Kripke
Wikidata
PT
Semânticas de Kripke
Wikipedia Redirections
PT
semânticas Kripke
Wikipedia Translations
PT
modelo kripke, semântica de kripke

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License