Императивы в stit-подходе

Результат исследований: Научные публикации в периодических изданияхстатьянаучная

Выдержка

Язык оригиналане определен
ЖурналЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ
Том21
Номер выпуска2
СостояниеОпубликовано - 2015
Опубликовано для внешнего пользованияДа

Ключевые слова

    Цитировать

    @article{755dc456a97946f2bb1b43d10c9c1fab,
    title = "Императивы в stit-подходе",
    abstract = "В статье рассказывается о применении stit-логики в анализе императивных действий. Исследуются различные способы представления императивных действий средствами формального языка. Описываются основания неаксиоматизированной теории императивов.",
    keywords = "stit-логика, императив, логика действий",
    author = "Г.В. Карпов",
    year = "2015",
    language = "не определен",
    volume = "21",
    journal = "ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ",
    issn = "2074-1472",
    number = "2",

    }

    Императивы в stit-подходе. / Карпов, Г.В.

    В: ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ, Том 21, № 2, 2015.

    Результат исследований: Научные публикации в периодических изданияхстатьянаучная

    TY - JOUR

    T1 - Императивы в stit-подходе

    AU - Карпов, Г.В.

    PY - 2015

    Y1 - 2015

    N2 - В статье рассказывается о применении stit-логики в анализе императивных действий. Исследуются различные способы представления императивных действий средствами формального языка. Описываются основания неаксиоматизированной теории императивов.

    AB - В статье рассказывается о применении stit-логики в анализе императивных действий. Исследуются различные способы представления императивных действий средствами формального языка. Описываются основания неаксиоматизированной теории императивов.

    KW - stit-логика

    KW - императив

    KW - логика действий

    M3 - статья

    VL - 21

    JO - ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ

    JF - ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ

    SN - 2074-1472

    IS - 2

    ER -