Standard

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. / Olkhovikov, Grigory K.; Wansing, Heinrich.
In: Journal of Philosophical Logic, Vol. 47, No. 2, 01.04.2018, p. 259-279.

Research output: Contribution to journal › Article › peer-review

Harvard

Olkhovikov, GK & Wansing, H 2018, 'An Axiomatic System and a Tableau Calculus for STIT Imagination Logic', Journal of Philosophical Logic, vol. 47, no. 2, pp. 259-279. https://doi.org/10.1007/s10992-017-9426-1

APA

Olkhovikov, G. K., & Wansing, H. (2018). An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. Journal of Philosophical Logic, 47(2), 259-279. https://doi.org/10.1007/s10992-017-9426-1

Vancouver

Olkhovikov GK, Wansing H. An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. Journal of Philosophical Logic. 2018 Apr 1;47(2):259-279. doi: 10.1007/s10992-017-9426-1

Author

Olkhovikov, Grigory K. ; Wansing, Heinrich. / An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. In: Journal of Philosophical Logic. 2018 ; Vol. 47, No. 2. pp. 259-279.

BibTeX

@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",

}

RIS

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 -

ID: 7146554