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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.