Report - Lectures on Hybrid Logic - Stanford University on Hybrid Logic NASSLLI’02, ... However the manifesto does not discuss first-order hybrid logic, the topic of Lecture 4.

Please pass captcha verification before submit form