...
机译:Carmo and Jones’ logic for contrary-to-duty obligations revised
Department of Informatics, King’s College London, London, WC2R 2LS, UK;
Department of Mathematics, Faculty of Exact Sciences and Engineering, University of Madeira, Campus Universitario da Penteada, 9020-105 Funchal, Madeira, Portugal;
Deontic logic; contrary-to-duty conditionals (CTDs); completeness and finite model property;