Loosely Guarded Fragment of First-Order Logic has the Finite Model Property

Ian M. Hodkinson. Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica, 70(2):205-240, 2002.

Authors

Ian M. Hodkinson

This author has not been identified. Look up 'Ian M. Hodkinson' in Google