Encoding hybrid logic in higher-order logic. Unpublished slides from an invited talk presented at Loria (2005)

by Chad E Brown