( en | de | ru )

 

Disambiguierung von "Gabbay, Dov M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Uri Gabbay

Dov Gafni

Dov Herskowits

Dov Gafni

Peter Dov

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical Tools for Handling Change in Agent-Based Systems., und . Cognitive Technologies Springer, (2010)A Language for Handling Hypothetical Updates and Inconsistency., , , und . Logic Journal of the IGPL, 4 (3): 385-416 (1996)Conditonal Logic Programming., , , und . ICLP, Seite 272-289. MIT Press, (1994)Argumentation as Information Input: A Position Paper., und . COMMA, Volume 287 von Frontiers in Artificial Intelligence and Applications, Seite 311-318. IOS Press, (2016)What is a Classical Connective?. Math. Log. Q., 24 (1-6): 37-44 (1978)Degrees of "in", öut" and ündecided" in Argumentation Networks., und . COMMA, Volume 287 von Frontiers in Artificial Intelligence and Applications, Seite 319-326. IOS Press, (2016)Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics., und . J. Symb. Log., 57 (4): 1319-1365 (1992)A Theory of Hierarchical Consequence and Conditionals., und . J. Log. Lang. Inf., 19 (1): 3-32 (2010)Modal and temporal argumentation networks., , und . Argument Comput., 3 (2-3): 203-227 (2012)Equational approach to argumentation networks.. Argument Comput., 3 (2-3): 87-142 (2012)