  For sentences like   (17)  involving only de dicto modalities, Lewis's truth conditions  are similar in form to the truth conditions generated by the modal  clauses of basic possible world semantics; specifically, for (17):  