Императивы в stit-подходе. / Карпов, Г.В.
In: ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ, Vol. 21, No. 2, 2015.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Императивы в stit-подходе
AU - Карпов, Г.В.
PY - 2015
Y1 - 2015
N2 - В статье рассказывается о применении stit-логики в анализе императивных действий. Исследуются различные способы представления императивных действий средствами формального языка. Описываются основания неаксиоматизированной теории императивов.
AB - В статье рассказывается о применении stit-логики в анализе императивных действий. Исследуются различные способы представления императивных действий средствами формального языка. Описываются основания неаксиоматизированной теории императивов.
KW - stit-логика
KW - императив
KW - логика действий
M3 - статья
VL - 21
JO - Logical Investigations
JF - Logical Investigations
SN - 2074-1472
IS - 2
ER -
ID: 5786009