Bitopological models of intuitionistic epistemic logic

Битопологические модели интуиционистской эпистемической логики

Авторы: Оноприенко А.А.¹
Учреждения:
1. Национальный исследовательский университет "Высшая школа экономики"
Выпуск: Том 79, № 1 (2024)
Страницы: 189-190
Раздел: Статьи
URL: https://ogarev-online.ru/0042-1316/article/view/251786
DOI: https://doi.org/10.4213/rm10149
ID: 251786

Цитировать

Открытый доступ
Доступ закрыт

Доступ предоставлен
Доступ закрыт

Только для подписчиков

Национальный исследовательский университет "Высшая школа экономики"

Email: ansidiana@yandex.ru
без ученой степени, без звания

S. Artemov, T. Protopopescu, Intuitionistic epistemic logic, vers. 2, 2014, 41 pp.
S. Artemov, T. Protopopescu, Rev. Symb. Log., 9:2 (2016), 266–298
H. B. Curry, A theory of formal deducibility, Notre Dame Math. Lectures, 6, Univ. Notre Dame, Notre Dame, IN, 1950, ix+126 pp.
А. Г. Драгалин, Математический интуиционизм. Введение в теорию доказательств, Наука, М., 1979, 256 с.
M. Fairtlough, M. Mendler, Inform. and Comput., 137:1 (1997), 1–33
R. I. Goldblatt, Z. Math. Logik Grundlagen Math., 27:31-35 (1981), 495–529
В. Н. Крупский, Десятые Смирновские чтения (Москва, 2017), Современные тетради, М., 2017, 30–31
D. S. Macnab, Algebra Universalis, 12:1 (1981), 5–29
G. Massas, Possibility spaces, Q-completions and Rasiowa–Sikorski lemmas for non-classical logics, MSc in Logic thesis, ILLC, Amsterdam, 2016, 122 pp.
S. A. Melikhov, A Galois connection between classical and intuitionistic logics, I. Syntax 1312.2575, 2022 (v1 – 2013), 47 pp.
А. А. Оноприенко, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 5 (2022), 25–30
А. А. Оноприенко, Матем. сб., 213:7 (2022), 97–120
Е. Расeва, Р. Сикорский, Математика метаматематики, Наука, М., 1972, 591 с.

Доп. файлы

Действие

1. JATS XML