Statements (12)
Predicate | Object |
---|---|
gptkbp:instanceOf |
modal logic formula
|
gptkbp:application |
axiomatization of modal logics
|
gptkbp:characterizedBy |
gptkb:Sahlqvist's_theorem
|
gptkbp:field |
gptkb:logic
|
https://www.w3.org/2000/01/rdf-schema#label |
Sahlqvist formula
|
gptkbp:introducedIn |
1975
|
gptkbp:namedAfter |
gptkb:Henrik_Sahlqvist
|
gptkbp:property |
canonicity
first-order definability |
gptkbp:usedIn |
gptkb:Kripke_semantics
|
gptkbp:bfsParent |
gptkb:Hanna_Sahlqvist
|
gptkbp:bfsLayer |
6
|