Bitopological models of intuitionistic epistemic logic

Cite item

Full Text

Open Access
Restricted Access

Access granted
Restricted Access

Subscription Access

HSE University

Email: ansidiana@yandex.ru
without scientific degree, no status

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 с.

Supplementary Files

Action

1. JATS XML