#моё

Кажется, я таки смог определить "возможность", хоть это было и довольно  сложно (гугл помогал крайне слабо, скорее путал, чуваков, намеренно  работающих по модальностями в философии, похоже, нету, а вылавливать и  сравнивать кучу версий стапятисот философов - такое себе занятие). Если  длинно, то возможность - это:
1) Как категория есть множество с разбиением, обладающим полной разрешимостью относительно некоторой предметной области:
а) Внутренняя разрешимость означает, что каждое подмножество описуемо,  т.е. для каждого подмножества соответствует как минимум одна функция  (математическая, т.е. множество упорядоченных пар), от объекта множества  перейти ко всем подмножествам, к которым данный объект принадлежит.
б) Внешняя разрешимость означает, что каждому объекту/классу объектов  предметной области соответствует как минимум одно подмножество.
2) Как объект категории - один вариант из описанного выше множества (которое можно назвать вариацией).

Если коротко, то возможность - это конструктивно разрешимая неопределённость.
Иначе говоря, возможность - это полностью разрешимая вариация.
Теперь время необходимости, благо невозможность из этого определения простейше следует, а с действительностью и недействительностью всё просто и понятно.