Bestand:Kripke model.png
Grootte van deze voorvertoning: 800 × 494 pixels. Andere resoluties: 320 × 198 pixels | 640 × 395 pixels | 837 × 517 pixels.
Oorspronkelijk bestand (837 × 517 pixels, bestandsgrootte: 20 kB, MIME-type: image/png)
Bestandsgeschiedenis
Klik op een datum/tijd om het bestand te zien zoals het destijds was.
Datum/tijd | Miniatuur | Afmetingen | Gebruiker | Opmerking | |
---|---|---|---|---|---|
huidige versie | 30 mrt 2008 14:31 | 837 × 517 (20 kB) | Eusebius | better version, using fig2eps and eps2png | |
28 okt 2007 17:08 | 246 × 161 (5 kB) | Eusebius | {{Information |Description=Kripke model example, with valuation function |Source=own work |Date=2007 |Author=Eusebius |Permission= |other_versions= }} | ||
28 okt 2007 16:11 | 246 × 123 (4 kB) | Eusebius | {{Information |Description=Kripke model example |Source=travail personnel |Date=2007 |Author= Eusebius }} |
Bestandsgebruik
Dit bestand wordt op de volgende pagina gebruikt:
Globaal bestandsgebruik
De volgende andere wiki's gebruiken dit bestand:
- Gebruikt op 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
- Gebruikt op fr.wikipedia.org