Настоящият том 1 от двутомното изследване на проектите за формално третиране на алетичната модалност има две основни цели: въвеждане в апарата на съвременния модален формализъм и сравнително детайлно изложение на усилията за форализиране и систематизиране на модалното инференциално мислене от Античността до края на ХХ век. Метафизическите и епистемологичните въпроси, обуславщи и породени от обяснителната рамка на възможните светове, ще бъдат предмет на том 2.