Evan Tzanis

Hybrid Logic with operations on nominals

Abstract: The basic hybrid logic H@ is expanded with function symbols on nominals. We call this hybrid language HLON (Hybrid Logic with Operators on Nominals), henceforth. The new language appears to be strong enough to express for example, any equationally definable class of algebras or the property of 2-colorability of a graph (not definable in the first order logic). I will give a number of worked examples, discussing the expressive power of HLON.

You can find the paper that the talk is based on here.