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]

Authors

Torben Braüner

This author has not been identified. Look up 'Torben Braüner' in Google