Standard

An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic. / Denisova, V.G.; Nechitaylov, Yu.V.

Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”. 2006.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

Harvard

Denisova, VG & Nechitaylov, YV 2006, An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic. в Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”.

APA

Denisova, V. G., & Nechitaylov, Y. V. (2006). An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic. в Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”

Vancouver

Denisova VG, Nechitaylov YV. An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic. в Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”. 2006

Author

Denisova, V.G. ; Nechitaylov, Yu.V. / An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic. Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”. 2006.

BibTeX

@inproceedings{49c5d368162f48b1b80ad58efa2bf552,
title = "An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic",
author = "V.G. Denisova and Yu.V. Nechitaylov",
year = "2006",
language = "English",
booktitle = "Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”",

}

RIS

TY - GEN

T1 - An Incompleteness Problem Related with a Way of Indirect Knowledge Representation in the Models of Basic Epistemic Logic

AU - Denisova, V.G.

AU - Nechitaylov, Yu.V.

PY - 2006

Y1 - 2006

M3 - Conference contribution

BT - Studia Logica International Conference “Towards Mathematical Philosophy: Trends in Logic IV”

ER -

ID: 4789045