An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Grigory K. Olkhovikov; Heinrich Wansing

doi:10.1007/s10992-017-9426-1

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Результат исследований: Вклад в журнал › Статья

Язык оригинала	Английский
Страницы (с-по)	259-279
Число страниц	21
Журнал	Journal of Philosophical Logic
Том	47
Номер выпуска	2
DOI	https://doi.org/10.1007/s10992-017-9426-1
Состояние	Опубликовано - 1 апр 2018

Предметные области ASJC Scopus

Philosophy

Предметные области WoS

Логика
Философия

Ссылки

10.1007/s10992-017-9426-1

Fingerprint Подробные сведения о темах исследования «An Axiomatic System and a Tableau Calculus for STIT Imagination Logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{9ca16c139d4648f6ad350c8163d8fc49,

title = "An Axiomatic System and a Tableau Calculus for STIT Imagination Logic",

keywords = "Axiomatization, Canonical models, Completeness, Logic of imagination, STIT logic, Tableaux",

author = "Olkhovikov, {Grigory K.} and Heinrich Wansing",

year = "2018",

month = apr,

day = "1",

doi = "10.1007/s10992-017-9426-1",

language = "English",

volume = "47",

pages = "259--279",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Kluwer Academic Publishers",

number = "2",

}

TY - JOUR

T1 - An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

AU - Olkhovikov, Grigory K.

AU - Wansing, Heinrich

PY - 2018/4/1

Y1 - 2018/4/1

KW - Axiomatization

KW - Canonical models

KW - Completeness

KW - Logic of imagination

KW - STIT logic

KW - Tableaux

UR - http://www.scopus.com/inward/record.url?scp=85010791214&partnerID=8YFLogxK

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000429353300004

U2 - 10.1007/s10992-017-9426-1

DO - 10.1007/s10992-017-9426-1

M3 - Article

AN - SCOPUS:85010791214

VL - 47

SP - 259

EP - 279

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

SN - 0022-3611

IS - 2

ER -