Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic

@article{Celani1999PriestleyDA,
  title={Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic},
  author={Sergio A. Celani and Ramon Jansana},
  journal={Logic Journal of the IGPL},
  year={1999},
  volume={7},
  pages={683-715}
}
In [12] the study of Positive Modal Logic (PML) is initiated using standard Kripke semantics and the positive modal algebras (a class of bounded distributive lattices with modal operators) are introduced. The minimum system of Positive Modal Logic is the (∧,∨, 2, 3,⊥,>)-fragment of the local consequence relation defined by the class of all Kripke models. It can be axiomatized by a sequent calculus and extensions of it can be obtained by adding sequents as new axioms. In [6] a new semantics for… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Fundamentals of partial modal logic

  • J. Jaspars, E. Thijsee
  • Partiality, Modality and Nonmonotonicity, edited…
  • 1995
1 Excerpt

Bounded distributive lattices with operators

  • M. Gehrke, B. Jónsson
  • Mathematica Japonica, 40
  • 1994
1 Excerpt

Calculi for Constructive Communication: A Study of the Dynamics of Partial States

  • J. Jaspars
  • Doctoral dissertation. ILLC Dissertation Series…
  • 1994
1 Excerpt

Mathematics of Modality

  • R. I. Goldblatt
  • CSLI Lectures Notes 43
  • 1993
3 Excerpts

Similar Papers

Loading similar papers…