Einführung in die Modallogik
Frontmatter -- TEIL I: MODALE AUSSAGENLOGIK -- Kapitel 1: Der nicht-modale Aussagenkalkül (AK) -- Kapitel 2: Das System T -- Kapitel 3: Die Systeme S4 und S5 -- Kapitel 4: Gültigkeit in T, S4 und S5 -- Kapitel 5: Entscheidungsverfahren und Vollständigkeit von T -- Kapitel 6: Entscheidungsverfahren und Vollständigkeit von S4 und S5 -- Kapitel 7: Alternative Basen für T, S4 und S5 -- TEIL II: MODALE PRÄDIKATENLOGIK -- Kapitel 8: Der Prädikatenkalkül erster Stufe (PK) -- Kapitel 9: Die Vollständigkeit modaler PKs -- Kapitel 10: Modalität und Existenz -- Kapitel 11: Identität und Kennzeichnung in modalen PKs -- TEIL III: ABRISS DER MODALLOGIK --…
Mehr
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Hughes, G. E. / Coulmas, Florian (Übers.) / Posner, Roland (Übers.) / Wiese, Bernd (Übers.)
- ISBN: 978-3-11-004609-0
- EAN: 9783110046090
- Produktnummer: 12998893
- Verlag: De Gruyter
- Sprache: Deutsch
- Erscheinungsjahr: 1978
- Seitenangabe: 352 S.
- Masse: H20.0 cm x B25.0 cm x D2.5 cm 600 g
- Auflage: Reprint 2010
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 600
3 weitere Werke von Max J. Cresswell:
Bewertungen
Anmelden