Некоторые предложения естественного языка, такие как «Джон мог бы быть богаче», приписывают объектам кросс-мировые отношения. В данном примере это отношение между Джоном, Каков он в действительном мире, и Джоном, каков он в некотором возможном мире, отличном от действительного. Этот феномен представляет собой проблему для модальной логики, поскольку стандартные модальные логики не имеют средств для отображения кросс-мировых отношений. В докладе будет предложено решение этой проблемы: будет представлена семантика, основанная на Кросс-мировой интерпретации предикатов, И табличное построение логики, корректной и полной Относительно данной семантики. Представляемая логика является модальной логикой первого порядка с равенством. In natural language, some sentences ascribe to objects cross-worlds relations. Forinstance,‘John might have been richer than he is’ascribes the relation ofbeing richer to John a she is in a possible worlds, distinct from the actual one, and John as he actually is. This phenomen on is problematic for modal logic because standard modal logics have no means for reflecting cross-world relations. The presentation offers a solution to this problem, namely a semantics based on cross-world interpretation of predicates, and a tableau proof method that is sound and complete with respect to the semantics. The logic presented is a first order modal logic with equality.
Второй международный конгресс русского общества истории и философии науки "Наука как общественное благо" [Электронный ресурс] : сборник научных статей. М., 2020. Т. 4. С. 205-209