Journal of Logic and Computation. Special Issue on Hybrid Logic
Abstract
This is a special issue of the Journal of Logic and Computation devoted to hybrid logic, a version of modal logic in which it is possible to refer to worlds/times/states. It contains five research articles, and an editorial which surveys hybrid logic.