Predicate modal logics with ω-rules are complete for neighborhood frames with constant domains under identified sufficient conditions, extending prior results on normal and non-normal modal logics.
Map of common knowledge logics.Studia Logica, 71:57–86, 2002
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Neighborhood and algebraic models for predicate modal logics with $\omega$-rules
Predicate modal logics with ω-rules are complete for neighborhood frames with constant domains under identified sufficient conditions, extending prior results on normal and non-normal modal logics.