First-order hybrid logic: introduction and survey

Torben Bra√ľner. First-order hybrid logic: introduction and survey. Logic Journal of the IGPL, 22(1):155-165, 2014. [doi]

Abstract

Abstract is missing.