TY - JOUR
T1 - Contrary to time conditionals in Talmudic logic
AU - Abraham, M.
AU - Gabbay, D. M.
AU - Schild, U.
PY - 2012/5
Y1 - 2012/5
N2 - We consider conditionals of the form A = B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals. Three main aspects will be investigated: 1. Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality). 2. Comparison with similar features in modern law. 3. New types of temporal logics arising from modelling the Talmudic examples. We shall see that we need a new temporal logic,which we call Talmudic temporal logic with linear open advancing future and parallel changing past, based on two parameters for time.
AB - We consider conditionals of the form A = B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals. Three main aspects will be investigated: 1. Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality). 2. Comparison with similar features in modern law. 3. New types of temporal logics arising from modelling the Talmudic examples. We shall see that we need a new temporal logic,which we call Talmudic temporal logic with linear open advancing future and parallel changing past, based on two parameters for time.
UR - http://www.scopus.com/inward/record.url?scp=84865188743&partnerID=8YFLogxK
U2 - 10.1007/s10506-012-9123-x
DO - 10.1007/s10506-012-9123-x
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84865188743
SN - 0924-8463
VL - 20
SP - 145
EP - 179
JO - Artificial Intelligence and Law
JF - Artificial Intelligence and Law
IS - 2
ER -