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.
Enumerability of modal predicate logics and the condition of non-existence of infinite ascending chains.Logical Investigation, 9:155–167, 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.