References of "Abraham, Michael"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailQuantum States and Disjunctive Attacks in Talmudic Logic
Abraham, Michael; Belfer, Israel; Schild, Uri et al

in Journal of Logics (2016)

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailIdentity Merging and Identity Revision in Talmudic Logic: An Outline Paper
Abraham, Michael; Belfer, Israel; Schild, Uri J. et al

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Detailed reference viewed: 22 (0 UL)
Peer Reviewed
See detailPlatonic Realism and Talmudic Reasoning
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in Abraham, Michael; Gabbay, Dov M.; Schild, Uri (Eds.) Platonic Realism and Talmudic Reasoning (2014)

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailThe Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday (2014)

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailFuture determination of entities in Talmudic public announcement logic
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in J. Applied Logic (2013), 11(1), 63--90

Detailed reference viewed: 40 (1 UL)
Full Text
Peer Reviewed
See detailContrary to time conditionals in Talmudic logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in Artif. Intell. Law (2012), 20(2), 145--179

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailObligations and prohibitions in Talmudic deontic logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in Artificial Intelligence & Law (2011), 19(2-3), 117148

Detailed reference viewed: 61 (0 UL)
Full Text
Peer Reviewed
See detailObligations and Prohibitions in Talmudic Deontic Logic
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in DEON (2010)

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic ... [more ▼]

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: OTA Talmudic obligation FTA Talmudic prohibition FDA Standard deontic prohibition ODA Standard deontic obligation [less ▲]

Detailed reference viewed: 63 (0 UL)
See detailNon-Deductive Inference in the Talmud
Gabbay, Dov M. UL; Abraham, Michael; Schild, U.

Book published by College Publications (2010)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailAnalysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction
Abraham, Michael; Gabbay, Dov M. UL; Schild, U.

in Studia Logica (2009), 92(3), 281364

We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Ana- logy and the rule of Argumentum A Fortiori ... [more ▼]

We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the Talmud such as Ana- logy and the rule of Argumentum A Fortiori. Given a matrix A with entries in {0,1},we allow for one or more blank squares in the matrix, say ai,j=?. The method allows us to decide whether to declare ai,j=0 or ai,j=1 or ai,j=? undecided. This algorithmic method is then applied to modelling several legal and practical reasoning situations including the Talmudic rule of Kal-Vachomer. We add an Appendix showing that this new rule of Matrix Abduction, arising from the Talmud, can also be applied to the analysis of paradoxes in voting and judgement aggregation. In fact we have here a general method for executing non-deductive inferences. [less ▲]

Detailed reference viewed: 59 (0 UL)