Open AccessЛогические модальности как арифметические функции
Author(s) -
Н.Л. Архиереев
Publication year - 2010
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2010-16-0-3-22
Subject(s) - computer science
В статье рассматривается новый подход к теории логических модальностей. Этот подход предполагает построение базовых логических понятий логической необходимости, логической непредвиденности, логической невозможности с помощью ограниченных и относительно ограниченных множеств описаний состояний (ОМОС и ОГОС соответственно), которые также могут рассматриваться как упорядоченные наборы возможных значений истинности для переменных. Пересчет ОМОС и ОГОС для каждой конкретной формулы обеспечивается арифметическими функциями специального типа.