Viktoras Starošas Queen's Gold?, directed with R. Šilinis, 1972), "Maratonas balne" (Marathon in the Saddle, directed with A. Jančor, 1973), "Aukso karštligė" (Gold Rush, directed with F. Kauzon, 1983), "Citius, fortius ir... aritmetika" (1985). Starošas was given the opportunity to participate in the Soviet filmmakers group in the Olympics in Moscow (1980). Viktoras Starošas Viktoras Starošas (June 12, 1921 in Kaunas - August 22, 2016) was a Lithuanian director, cinematographer and writer. At the beginning of Lithuanian cinema, he worked as an assistant in the company, "Mūsų Lietuva" (Our Lithuania). There, he also filmed newsreels, the first post-war Lithuanian documentaries since 1952.
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