Standard

Simplified Tableaux for STIT Imagination Logic. / Olkhovikov, Grigory K.; Wansing, Heinrich.
In: Journal of Philosophical Logic, Vol. 48, No. 6, 01.12.2019, p. 981-1001.

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

Harvard

Olkhovikov, GK & Wansing, H 2019, 'Simplified Tableaux for STIT Imagination Logic', Journal of Philosophical Logic, vol. 48, no. 6, pp. 981-1001. https://doi.org/10.1007/s10992-019-09503-1

APA

Olkhovikov, G. K., & Wansing, H. (2019). Simplified Tableaux for STIT Imagination Logic. Journal of Philosophical Logic, 48(6), 981-1001. https://doi.org/10.1007/s10992-019-09503-1

Vancouver

Olkhovikov GK, Wansing H. Simplified Tableaux for STIT Imagination Logic. Journal of Philosophical Logic. 2019 Dec 1;48(6):981-1001. doi: 10.1007/s10992-019-09503-1

Author

Olkhovikov, Grigory K. ; Wansing, Heinrich. / Simplified Tableaux for STIT Imagination Logic. In: Journal of Philosophical Logic. 2019 ; Vol. 48, No. 6. pp. 981-1001.

BibTeX

@article{70eb97d24f994f26b01378cfc31e452a,
title = "Simplified Tableaux for STIT Imagination Logic",
keywords = "Canonical models, Logic of imagination, STIT logic, Tableaux",
author = "Olkhovikov, {Grigory K.} and Heinrich Wansing",
year = "2019",
month = dec,
day = "1",
doi = "10.1007/s10992-019-09503-1",
language = "English",
volume = "48",
pages = "981--1001",
journal = "Journal of Philosophical Logic",
issn = "0022-3611",
publisher = "Kluwer Academic Publishers",
number = "6",

}

RIS

TY - JOUR

T1 - Simplified Tableaux for STIT Imagination Logic

AU - Olkhovikov, Grigory K.

AU - Wansing, Heinrich

PY - 2019/12/1

Y1 - 2019/12/1

KW - Canonical models

KW - Logic of imagination

KW - STIT logic

KW - Tableaux

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

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

U2 - 10.1007/s10992-019-09503-1

DO - 10.1007/s10992-019-09503-1

M3 - Article

AN - SCOPUS:85061213411

VL - 48

SP - 981

EP - 1001

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

SN - 0022-3611

IS - 6

ER -

ID: 11343467