Independence-Friendly Logic by Merlijn Sevenster & Allen L. Mann