Интенсиональная логика, семантика с истинностными провалами и их приложениястатья