The Bounded Fragment and Hybrid Logic with Polyadic Modalities

Ian M. Hodkinson. The Bounded Fragment and Hybrid Logic with Polyadic Modalities. Rew. Symb. Logic, 3(2):279-286, 2010. [doi]

Abstract

Abstract is missing.