Standard

A completeness result for the implicit justification STIT logic. / Olkhovikov, Grigory K.
In: Logique et Analyse, Vol. 243, 01.01.2018, p. 341-406.

Research output: Contribution to journal › Review article › peer-review

Harvard

Olkhovikov, GK 2018, 'A completeness result for the implicit justification STIT logic', Logique et Analyse, vol. 243, pp. 341-406. https://doi.org/10.2143/LEA.243.0.3285132

APA

Olkhovikov, G. K. (2018). A completeness result for the implicit justification STIT logic. Logique et Analyse, 243, 341-406. https://doi.org/10.2143/LEA.243.0.3285132

Vancouver

Olkhovikov GK. A completeness result for the implicit justification STIT logic. Logique et Analyse. 2018 Jan 1;243:341-406. doi: 10.2143/LEA.243.0.3285132

Author

Olkhovikov, Grigory K. / A completeness result for the implicit justification STIT logic. In: Logique et Analyse. 2018 ; Vol. 243. pp. 341-406.

BibTeX

@article{fa72bab11ed144eda572e6de04990ea2,
title = "A completeness result for the implicit justification STIT logic",
keywords = "Compactness, Completeness, Epistemic logic, Justification logic, Stit logic",
author = "Olkhovikov, {Grigory K.}",
year = "2018",
month = jan,
day = "1",
doi = "10.2143/LEA.243.0.3285132",
language = "English",
volume = "243",
pages = "341--406",
journal = "Logique et Analyse",
issn = "0024-5836",
publisher = "Centre National Belge de Recherche de Logique",

}

RIS

TY - JOUR

T1 - A completeness result for the implicit justification STIT logic

AU - Olkhovikov, Grigory K.

PY - 2018/1/1

Y1 - 2018/1/1

KW - Compactness

KW - Completeness

KW - Epistemic logic

KW - Justification logic

KW - Stit logic

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

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

U2 - 10.2143/LEA.243.0.3285132

DO - 10.2143/LEA.243.0.3285132

M3 - Review article

AN - SCOPUS:85055580830

VL - 243

SP - 341

EP - 406

JO - Logique et Analyse

JF - Logique et Analyse

SN - 0024-5836

ER -

ID: 8174577