Redirecting you to https://en.wikipedia.org/wiki/Johan_van_Benthem_(logician)