Algebraic Tools for Modal Logic

  title={Algebraic Tools for Modal Logic},
  author={Mai Gehrke},
Monotone bounded distributive lattice expansions (DLMs) are bounded distributive lattices augmented by nitary operations that are isotone or antitone in each coordinate. Such algebras encompass most algebras with bounded distributive lattice reducts that arise from logic, and generalize bounded distributive lattices with operators. We de ne the canonical extension for DLMs and show that this extension is functorial. A class of compatible DLMs is said to be canonical provided it is closed under… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 23 references

Department of Mathematical Sciences, Las Cruces, NM88003, USA 19 Work phone

  • Y. Venema
  • Atom structures and Sahlqvist equations, Alg…
  • 1997
Highly Influential
20 Excerpts

A Concept Object Algebra CA

  • Nilsson, J. Fischer
  • 1993
Highly Influential
13 Excerpts

Natural dualities for varieties of distributive lattices with a quanti er, Algebraic methods in logic and computer science

  • H. A. Priestley
  • (Warsaw,
  • 1991
Highly Influential
7 Excerpts

Natural dualities, Lattice theory and its applications (Darmstadt

  • H. A. Priestley
  • Res. Exp. Math.,
  • 1991
Highly Influential
14 Excerpts

Completeness and correspondence in the rst and second order semantics for modal logic

  • H Sahlqvist
  • Proceedings of the Third Scandinavian Logic…
  • 1975
Highly Influential
6 Excerpts

Boolean algebras with operators, I, Amer

  • B. J onsson, A. Tarski
  • J. Math
  • 1951
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…