Ove Karlsson (sports journalist) teams. In 1986 (age 42), he was a founding member of SOF (Sveriges Olympiahistorikers Förening, the Swedish Society of Olympic Historians), and its secretary from 1986 to 1988 (age 42 to 44). In 1991 (age 47), he was a founding member of the ISOH (International Society of Olympic Historians). He wrote articles for the ISOH's "Journal of Olympic History" (formerly "Citius, Altius, Fortius"), especially the obituaries of Olympians. In 2004 (age 60), he became officer of the ISOH, on the 2004–2008 Executive Committee. In 1994 (age 50), he was a founding president of the SIHSS (Swedish Ice hockey Historical and
Higher-order logic "classical" higher-order logic. However, modal higher-order logic has been studied as well. According to several logicians, Gödel's ontological proof is best studied (from a technical perspective) in such a context. Higher-order logic In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the