Standard

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. / Olkhovikov, Grigory K.
в: Journal of Applied Logic, Том 21, 01.05.2017, стр. 57-90.

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

Harvard

Olkhovikov, GK 2017, 'On expressive power of basic modal intuitionistic logic as a fragment of classical FOL', Journal of Applied Logic, Том. 21, стр. 57-90. https://doi.org/10.1016/j.jal.2016.11.036

APA

Olkhovikov, G. K. (2017). On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Journal of Applied Logic, 21, 57-90. https://doi.org/10.1016/j.jal.2016.11.036

Vancouver

Olkhovikov GK. On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Journal of Applied Logic. 2017 май 1;21:57-90. doi: 10.1016/j.jal.2016.11.036

Author

Olkhovikov, Grigory K. / On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. в: Journal of Applied Logic. 2017 ; Том 21. стр. 57-90.

BibTeX

@article{337aa9d1c4ee44ce960756c398dada30,
title = "On expressive power of basic modal intuitionistic logic as a fragment of classical FOL",
keywords = "Bisimulation, Intuitionistic logic, Modal logic, Model theory, Propositional logic, Van Benthem's theorem",
author = "Olkhovikov, {Grigory K.}",
year = "2017",
month = may,
day = "1",
doi = "10.1016/j.jal.2016.11.036",
language = "English",
volume = "21",
pages = "57--90",
journal = "Journal of Applied Logic",
issn = "1570-8683",
publisher = "Elsevier BV",

}

RIS

TY - JOUR

T1 - On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

AU - Olkhovikov, Grigory K.

PY - 2017/5/1

Y1 - 2017/5/1

KW - Bisimulation

KW - Intuitionistic logic

KW - Modal logic

KW - Model theory

KW - Propositional logic

KW - Van Benthem's theorem

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

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

U2 - 10.1016/j.jal.2016.11.036

DO - 10.1016/j.jal.2016.11.036

M3 - Article

AN - SCOPUS:85008324007

VL - 21

SP - 57

EP - 90

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

ER -

ID: 1620769