Geach Axiom
Modal logic axiom extending S4. Gives you the light-cone - i.e. causal arrows between points in space-time. (family=Benthem, given=Johan, prefix=van, useprefix=false 2010), p97, is where I first came across it; proved in
Modal logic axiom extending S4. Gives you the light-cone - i.e. causal arrows between points in space-time. (family=Benthem, given=Johan, prefix=van, useprefix=false 2010), p97, is where I first came across it; proved in