( en | de | ru )

 

Disambiguation of "Gabbay, Dov M."

Author of the publication

copydeleteadd this publication to your clipboard
Completeness theorems for reactive modal logics.

. Ann. Math. Artif. Intell., 66 (1-4): 81-129 (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

Uri Gabbay

Dov Gafni

Dov Herskowits

Dov Gafni

Peter Dov

 

Other publications of authors with the same name

Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics., and . J. Symb. Log., 57 (4): 1319-1365 (1992)Degrees of "in", öut" and ündecided" in Argumentation Networks., and . COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 319-326. IOS Press, (2016)On the Logic of Information Flow., , and . Logic Journal of the IGPL, 3 (1): 7-50 (1995)Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017., and . FLAP, (2017)Introducing Bayesian Argumentation Networks., and . FLAP, 3 (2): 241-278 (2016)Editorial comment about Ön the Difference between ABA and AA".. FLAP, 2 (1): 1-14 (2015)Combining Temporal Logic Systems., and . Notre Dame J. Formal Log., 37 (2): 204-232 (1996)Algorithmic Proof with Diminishing Resources, Part 1.. CSL, volume 533 of Lecture Notes in Computer Science, page 156-173. Springer, (1990)Logic and the Law: Crossing the Lines of Discipline., and . Approaches to Legal Rationality, volume 20 of Logic, Epistemology, and the Unity of Science, Springer, (2011)Executing Temporal Logic: Review and Prospects (Abstract)., and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 104-105. Springer, (1988)