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]

No reviews for this publication, yet.