3 ms·

I read up on a little bit of what you reference and have a question... Does Kripke describe a query language in Naming and Necessity?