modals-logical-conclusions