Completeness and decidability results for a logic of contrary-to-duty conditionals
José Carmo, Andrew Jones · Journal of Logic and Computation · 2012
Journal Article Completeness and decidability results for a logic of contrary-to-duty conditionals Get access José M. C. L. M. Carmo, José M. C. L. M. Carmo Centre of Exact Sciences and Engineering, University of Madeira, Campus Universitario da Penteada, 9020-105 Funchal, Madeira, Portugal. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Andrew J. I. Jones Andrew J. I. Jones Department of Informatics, King's College London Strand, London WC2R 2LS, UK. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 23, Issue 3, June 2013, Pages 585–626, https://doi.org/10.1093/logcom/exs009 Published: 25 April 2012 Article history Received: 01 September 2011 Published: 25 April 2012