Category:Kripke models
Saltar para a navegação
Saltar para a pesquisa
semantics for modal logics | |||||
| Carregar ficheiro | |||||
| Instância de | |||||
|---|---|---|---|---|---|
| Nomeado em referência a | |||||
| |||||
 | |||||
Kripke models are models use in the Kripke semantics: a formal semantics for non-classical logic systems.
Multimédia na categoria "Kripke models"
Esta categoria contém os seguintes 32 ficheiros (de um total de 32).
-
B frame.PNG 190 × 270; 4 kB
-
CTL model.png 235 × 273; 8 kB
-
Estructura de Kripke.jpg 794 × 1 123; 54 kB
-
EstructuraKripke.png 337 × 279; 12 kB
-
EstructuraKripke.svg 407 × 350; 8 kB
-
Exclmid.PNG 200 × 160; 4 kB
-
Frames.png 837 × 954; 32 kB
-
K frame.PNG 190 × 270; 3 kB
-
K4 frame.PNG 190 × 270; 4 kB
-
Kripke countermodel of A -) B V B -) A1.png 227 × 255; 7 kB
-
Kripke countermodel of A V not A.png 154 × 100; 3 kB
-
Kripke frame.png 246 × 123; 3 kB
-
Kripke model for A -) B V B -) A.png 367 × 269; 11 kB
-
Kripke model.png 837 × 517; 20 kB
-
Kripke.png 524 × 198; 14 kB
-
KripkeStructureExample.svg 373 × 325; 2 kB
-
Logique intuitionniste exemple 2.svg 267 × 199; 24 kB
-
Logique intuitionniste exemple.svg 124 × 51; 5 kB
-
LTL model.png 250 × 209; 7 kB
-
OS4.PNG 190 × 270; 5 kB
-
OS5.PNG 190 × 270; 6 kB
-
Possible worlds.JPG 538 × 325; 22 kB
-
Rieger-Nishimura ladder.svg 125 × 480; 2 kB
-
S4 frame.PNG 190 × 270; 5 kB
-
S5 frame.PNG 190 × 270; 5 kB
-
SDL frame.PNG 190 × 270; 4 kB
-
SDLplus frame.PNG 190 × 270; 4 kB
-
Simple kripke model.png 276 × 206; 12 kB
-
T frame.PNG 190 × 270; 4 kB
-
TLC one-bit clock states.png 401 × 402; 14 kB
-
Tsitkin frames.svg 480 × 100; 3 kB
-
Пример 1 структуры Крипке.gif 289 × 197; 2 kB
_B_V_B_-)_A1.png)
_B_V_B_-)_A.png)
