1 paper · 1 filter
Duligur Ibeling
Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the log…