( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Voting by Eliminating Quantifiers.

, и . Stud Logica, 92 (3): 365-379 (2009)

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

 

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

Completeness theorems for reactive modal logics.. Ann. Math. Artif. Intell., 66 (1-4): 81-129 (2012)Defeasible inheritance systems and reactive diagrams., и . Logic Journal of the IGPL, 17 (1): 1-54 (2009)An equational approach to the merging of argumentation networks., и . J. Log. Comput., 24 (6): 1253-1277 (2014)Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications.. J. Symb. Log., 37 (2): 375-384 (1972)A Language for Handling Hypothetical Updates and Inconsistency., , , и . Logic Journal of the IGPL, 4 (3): 385-416 (1996)Conditonal Logic Programming., , , и . ICLP, стр. 272-289. MIT Press, (1994)Argumentation as Information Input: A Position Paper., и . COMMA, том 287 из Frontiers in Artificial Intelligence and Applications, стр. 311-318. IOS Press, (2016)What is a Classical Connective?. Math. Log. Q., 24 (1-6): 37-44 (1978)A Theory of Hierarchical Consequence and Conditionals., и . J. Log. Lang. Inf., 19 (1): 3-32 (2010)N-Prolog: An Extension of Prolog with Hypothetical Implications I., и . J. Log. Program., 1 (4): 319-355 (1984)