Completeness and decidability results for a logic of contrary-to-duty conditionals | UPT Perpustakaan UHAMKA