Datei:Kripke model.png
Größe dieser Vorschau: 800 × 494 Pixel. Weitere Auflösungen: 320 × 198 Pixel | 640 × 395 Pixel | 837 × 517 Pixel.
Originaldatei (837 × 517 Pixel, Dateigröße: 20 KB, MIME-Typ: image/png)
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
---|---|---|---|---|---|
aktuell | 14:31, 30. Mär. 2008 | 837 × 517 (20 KB) | Eusebius | better version, using fig2eps and eps2png | |
17:08, 28. Okt. 2007 | 246 × 161 (5 KB) | Eusebius | {{Information |Description=Kripke model example, with valuation function |Source=own work |Date=2007 |Author=Eusebius |Permission= |other_versions= }} | ||
16:11, 28. Okt. 2007 | 246 × 123 (4 KB) | Eusebius | {{Information |Description=Kripke model example |Source=travail personnel |Date=2007 |Author= Eusebius }} |
Dateiverwendung
Die folgenden 7 Seiten verwenden diese Datei:
- Modallogik/Semantik/Einführung/Textabschnitt
- 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
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf fr.wikipedia.org
- Verwendung auf nl.wikipedia.org