Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Sahlqvist Formula
CHF 49.50
Auf Lager
SKU
UG54R9AR4BF
1 Verfügbar 
Geliefert zwischen Mi., 26.11.2025 und Do., 27.11.2025
Details
High Quality Content by WIKIPEDIA articles! In modal logic, Sahlqvist formulae are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical, and corresponds to a first-order definable class of Kripke frames.Sahlqvist's definition characterises a decidable set of formulae. Since it is undecidable, by Chagrova's theorem, whether an arbitrary modal formula has a first-order frame condition, there are formulae with first-order frame conditions that are not Sahlqvist (Chagrova 1991).
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131488122
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131488122
- Titel Sahlqvist Formula
- Herausgeber Betascript Publishing
- Anzahl Seiten 116
- Genre Sozialwissenschaften allgemein
Bewertungen
Schreiben Sie eine Bewertung
