Johan van Benthem. McCarthy variations in a modal key. Artificial Intelligence, 175(1):428-439, 2011. [doi]
@article{Benthem11-0, title = {McCarthy variations in a modal key}, author = {Johan van Benthem}, year = {2011}, doi = {10.1016/j.artint.2010.04.014}, url = {http://dx.doi.org/10.1016/j.artint.2010.04.014}, researchr = {https://researchr.org/publication/Benthem11-0}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {175}, number = {1}, pages = {428-439}, }