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.
An extension of J´ osson-Tarski representation and model existence in pred- icate non-normal modal logics.Mathematical Logic Quarterly, 68(2):189–201, 2022
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.