Special Issue on Hybrid Logics

HyLo 2000, the Second Workshop on Hybrid Logics, was organized in Birmingham, Great Britain, on August 14-18, 2000. Given the interest the workshop gave rise to, the Journal of Logic and Computation devoted a special issue (Volume 11, Issue 05) to hybrid logics.

Contributions were not limited to those presented at HyLo 2000. After a proper round of reviewing, the following articles were selected.

Bringing them all Together
Carlos Areces, and Patrick Blackburn.
pp. 657-669.
[Postscript | PDF]

Internalization: The Case of Hybrid Logics
Jeremy Seligman.
pp. 671-689.
[Postscript | PDF]

Relation Algebra with Binders
Maarten Marx.
pp. 691-700.
[Postscript | PDF]

Modal Logic with Bounded Quantification over Worlds
Rogier M. Van Eijk, Frank S. De Boer, Wiebe Van Der Hoek, and John-Jules Ch. Meyer.
pp. 701-715.
[Postscript | PDF]

Resolution in Modal, Description and Hybrid Logic
Carlos Areces, Maarten de Rijke, and Hans de Nivelle.
pp. 717-736.
[Postscript | PDF]

Original Article.
Sahlqvist Formulas in Hybrid Polyadic Modal Logics
Valentin Goranko, and Dimiter Vakarelov.
pp. 737-754.
[Postscript | PDF]