Hybrid Logics : The Old and The New

@inproceedings{Areces2007HybridL,
  title={Hybrid Logics : The Old and The New},
  author={Carlos Areces},
  year={2007}
}
Hybrid Logics are usually presented as an extension of modal logics where we can explicitly refer to the elements in the model. In this paper we will start by introducing hybrid logics from that perspective, and we will complete this presentation with a historical overview. But we will later have a closer look to the ↓ binder, and propose an alternative way to think about it. We will explain then how, in this new light, a whole new spectrum of logical languages is offered to the enterprising… CONTINUE READING

From This Paper

Topics from this paper.
11 Citations
36 References
Similar Papers

References

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

Language and Information

  • P. Blackburn, J. Seligman. Hybrid languages. Journal of Logic
  • 4(3):251–272,
  • 1995
Highly Influential
10 Excerpts

M

  • P. Blackburn
  • de Rijke, and Y. Venema. Modal Logic. Cambridge…
  • 2001
2 Excerpts

editor

  • B. Copeland. Arthur Prior. In E. Zalta
  • The Stanford Encyclopedia of Philosophy.
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…