Jan comments on Applied Mathematical Logic For The Practicing Researcher

[Jan]

Thank you! (:

Very interesting point, I didn’t know that. Do you know (/​have a reference that explains) how those counterfactuals are evaluated then?