Contrary to time conditionals in Talmudic logic
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.
Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).
Comparison with similar features in modern law.
New types of temporal logics arising from modelling the Talmudic examples.