Presents sequent system GL₊^{⊤⊥} such that φ ⊢ ψ is provable iff φ ⊃ ψ is provable in GL for positive modal formulas.
Duality between modal algebras and neighbourhood frames.Studia Logica, 48:219–234
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
A proof system for the positive fragment of GL
Presents sequent system GL₊^{⊤⊥} such that φ ⊢ ψ is provable iff φ ⊃ ψ is provable in GL for positive modal formulas.
-
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.