( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.

, и . J. Symb. Log., 58 (3): 800-823 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Uri Gabbay

Dov Gafni

Dov Herskowits

Dov Gafni

Peter Dov

 

Другие публикации лиц с тем же именем

Products of Modal Logics, Part 1., и . Logic Journal of the IGPL, 6 (1): 73-146 (1998)Editorial.. J. Log. Comput., 8 (1): 3 (1998)Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics., и . J. Symb. Log., 57 (4): 1319-1365 (1992)Degrees of "in", öut" and ündecided" in Argumentation Networks., и . COMMA, том 287 из Frontiers in Artificial Intelligence and Applications, стр. 319-326. IOS Press, (2016)Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language., , , и . LPNMR, том 928 из Lecture Notes in Computer Science, стр. 203-216. Springer, (1995)Reactivity and Grammars: An Exploration., , и . Language, Culture, Computation (1), том 8001 из Lecture Notes in Computer Science, стр. 103-155. Springer, (2014)Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories.. SCAI, том 12 из Frontiers in Artificial Intelligence and Applications, стр. 19-39. IOS Press, (1991)Reactive Preferential Structures and Nonmonotonic Consequence., и . Rev. Symb. Log., 2 (2): 414-450 (2009)Neural-symbolic learning systems - foundations and applications., , и . Perspectives in neural computing Springer, (2002)Language Understanding: A Procedural Perspective., , и . LACL, том 1328 из Lecture Notes in Computer Science, стр. 228-247. Springer, (1996)