Ну а что касается семантики модальных логик, возможных миров и т.п., то это всё легчайше сводится к реконструкции, не вижу смысла обсуждать отдельно. Понятие необходимого так же легко определяется на реконструкции, как и на возможных мирах. Действительное же - это просто ядро реконструкции (интересен, впрочем, подход с обратной реконструкцией к действительному, но мне влом расписывать про функцию активации и вот это всё) или, в другом смысле, формирующая часть ядра реконструкции (т.е. то, от чего зависит следующая точка при применении функции реконструкции; от чего не зависит - это недействительное в смысле прошлого... или будущего... или причинно раздельного, см. специальную теорию относительности).