Fichier:Kripke model.png
Taille de cet aperçu : 800 × 494 pixels. Autres résolutions : 320 × 198 pixels | 640 × 395 pixels | 837 × 517 pixels.
Fichier d’origine (837 × 517 pixels, taille du fichier : 20 kio, type MIME : image/png)
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 30 mars 2008 à 14:31 | 837 × 517 (20 kio) | Eusebius | better version, using fig2eps and eps2png | |
28 octobre 2007 à 17:08 | 246 × 161 (5 kio) | Eusebius | {{Information |Description=Kripke model example, with valuation function |Source=own work |Date=2007 |Author=Eusebius |Permission= |other_versions= }} | ||
28 octobre 2007 à 16:11 | 246 × 123 (4 kio) | Eusebius | {{Information |Description=Kripke model example |Source=travail personnel |Date=2007 |Author= Eusebius }} |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur de.wikiversity.org
- Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Vorlesung 26
- Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Vorlesung 26/kontrolle
- Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Vorlesung 26
- Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Vorlesung 26/kontrolle
- Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Vorlesung 26
- Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Vorlesung 26/kontrolle
- Modallogik/Semantik/Einführung/Textabschnitt
- Utilisation sur nl.wikipedia.org