Kanonische Modellkonstruktion

Ein Verfahren in modalen und verwandten Logiken, das ein kanonisches Modell konstruiert, dessen Welten maximal konsistente Mengen (oder saturierte Theorien) von Formeln sind und dessen Zugangsrelationen aus syntaktischen Bedingungen definiert sind; verwendet, um Vollständigkeitssätze zu beweisen, indem ein Wahrheitslemma aufgebaut wird, das Formeln mit Mitgliedschaft in Welten verknüpft.