9 citations · 52 across the 16 of their papers we have counts for
1 paper · 2 filters
Stanislav Kikot
Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and can…