Bitopological models of intuitionistic epistemic logic

被引：0
|
作者：
Onoprienko, A. A. [1 ]
机构：
[1] HSE Univ, Moscow, Russia
来源：
RUSSIAN MATHEMATICAL SURVEYS | 2024年 / 79卷 / 01期
关键词：
D O I：
10.4213/rm10149e
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：179 / 181
页数：3
相关论文
共 50 条
  • [21] Some Properties of Intuitionistic Fuzzy Bitopological Spaces
    Lee, Seok Jong
    Kim, Jin Tae
    6TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS, AND THE 13TH INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS, 2012, : 1040 - 1045
  • [22] Pairwise Precontinuity in Intuitionistic Smooth Bitopological Spaces
    Kim, Jin Tae
    Lee, Seok Jong
    INTERNATIONAL JOURNAL OF FUZZY LOGIC AND INTELLIGENT SYSTEMS, 2019, 19 (03) : 204 - 212
  • [23] Universal Models for the Positive Fragment of Intuitionistic Logic
    Bezhanishvili, Nick
    de Jongh, Dick
    Tzimoulis, Apostolos
    Zhao, Zhiguang
    LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015), 2017, 10148 : 229 - 250
  • [24] COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO MODELS WITH COVERING
    FABIANO, A
    BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1983, 2A (01): : 21 - 28
  • [25] A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic
    Su, Youan
    Sano, Katsuhiko
    STUDIA LOGICA, 2023, 111 (04) : 615 - 652
  • [26] A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic
    Youan Su
    Katsuhiko Sano
    Studia Logica, 2023, 111 : 615 - 652
  • [27] Simplicial models for the epistemic logic of faulty agents
    Goubault, Eric
    Kniazev, Roman
    Ledent, Jeremy
    Rajsbaum, Sergio
    BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA, 2024, 30 (03):
  • [28] INTUITIONISTIC LOGIC IN AN INTUITIONISTIC METALANGUAGE - INTUITIONISTICALLY PLAUSIBLE INTERPRETATION OF INTUITIONISTIC LOGIC
    DESWART, H
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 130 - 131
  • [29] Pattern Models: A Dynamic Epistemic Logic For Distributed Systems
    Castaneda, Armando
    van Ditmarsch, Hans
    Rosenblueth, David A.
    Velazquez, Diego A.
    COMPUTER JOURNAL, 2024, 67 (07): : 2421 - 2440
  • [30] EPISTEMIC AND INTUITIONISTIC FORMAL SYSTEMS
    FLAGG, RC
    FRIEDMAN, H
    ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 53 - 60
12345