Utvidet returrett til 31. januar 2024
Om Einfuhrung 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 -- Kapitel 12: Lewis-Systeme I -- Kapitel 13: Lewis-Systeme II -- Kapitel 14: Andere modale Systeme der Aussagenlogik -- Kapitel 15: Gültigkeit und Entscheidungsverfahren für verschiedene Systeme -- Kapitel 16: Non-Standard-Systeme -- Kapitel 17: Boolesche Algebra und Modallogik -- Anhang 1: Natürliches Schließen und Modalsysteme -- Anhang 2: Folgebeziehung und strikte Implikation -- Anhang 3: Axiomatische Basen für Systeme der modalen Aussagenlogik -- Anhang 4: Notation -- Anhang 5: Kripkes Modellstrukturen und Hintikkas Modellmengen -- Lösungen zu den Übungsaufgaben -- Bibliographie -- Autorenregister -- Sachregister -- Liste der Zeichen und wichtigen Regeln -- Deutsch-englisches Glossar

Vis mer
  • Språk:
  • Tysk
  • ISBN:
  • 9783110046090
  • Bindende:
  • Hardback
  • Sider:
  • 350
  • Utgitt:
  • 1. juni 1978
  • Utgave:
  • 2010
  • Dimensjoner:
  • 234x156x21 mm.
  • Vekt:
  • 671 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 28. november 2024

Beskrivelse av Einfuhrung 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 -- Kapitel 12: Lewis-Systeme I -- Kapitel 13: Lewis-Systeme II -- Kapitel 14: Andere modale Systeme der Aussagenlogik -- Kapitel 15: Gültigkeit und Entscheidungsverfahren für verschiedene Systeme -- Kapitel 16: Non-Standard-Systeme -- Kapitel 17: Boolesche Algebra und Modallogik -- Anhang 1: Natürliches Schließen und Modalsysteme -- Anhang 2: Folgebeziehung und strikte Implikation -- Anhang 3: Axiomatische Basen für Systeme der modalen Aussagenlogik -- Anhang 4: Notation -- Anhang 5: Kripkes Modellstrukturen und Hintikkas Modellmengen -- Lösungen zu den Übungsaufgaben -- Bibliographie -- Autorenregister -- Sachregister -- Liste der Zeichen und wichtigen Regeln -- Deutsch-englisches Glossar

Brukervurderinger av Einfuhrung in Die Modallogik



Finn lignende bøker
Boken Einfuhrung in Die Modallogik finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.