Object-Role Modeling and Higher-Order Logic

Finding a Medium

Rights-Free Image by Bing, Image Creator. Licenced to Victor Morgante for non-commercial use.

The image above was selected from a set of images provided by Bing Image Creator to the prompt, “The intersection of Higher-Order Logic and First-Order Logic under Ehrenfeucht Fraisse Games” and it is fitting that the text is not accurate, subject to interpretation and where there is no defining line between first-order logic and higher-order logic. Indeed, one…