An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

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 -