MODEL-THEORETIC METHODS IN THE STUDY OF ELEMENTARY LOGIC

By W. Hanf. 2014

80 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/b6e8543490e826f347b9bacb32b7ce89a4b7ce0d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Lukasz Kaiser
2. Mohit Bansal
3. Quoc V. Le
4. Samy Bengio
5. Felix Stahlberg
6. Richard Socher
7. Kyunghyun Cho
8. Jianfeng Gao

Citations in the corpus

• Learning Games from Videos Guided by Descriptive Complexity (2012, background): “This property, made precise in the theorems of Gaifman (Gaifman 1982) and Hanf (Hanf 1965), implies that many patterns cannot be defined in FO.”