Johnson-Laird and Byrne distinguished ten kinds of conditionals. Their framework was the mental models theory and they attributed different combinations of semantic possibilities to those ten types of ...