Modal Companions for the Special Extensions of Nelson’s Constructive Logic

Vishneva, A. G. & Odintsov, S. P., 16 Jun 2025, In: Mathematical Notes. 117, 3, p. 366-382 17 p.

Research output: Contribution to journal › Article › peer-review

Модальные напарники специальных расширений конструктивной логики Нельсона

Вишнева, А. Г. & Одинцов, С. П., 2025, In: Математические заметки. 117, 3, p. 344-364

Research output: Contribution to journal › Article › peer-review

On extensions of minimal logic with linearity axiom

Anishchenko, D. M. & Odintsov, S. P., 2024, In: Siberian Electronic Mathematical Reports. 21, 2, p. 852-865 14 p.

Research output: Contribution to journal › Article › peer-review

Preface

Bolotov, A., Fang, J., Francez, N., Goranko, V., Grygiel, J., Kamide, N., Leitsch, A., Malinowski, J., Martins, M. A., Mundici, D., Odintsov, S., Ono, H., Orlandelli, E., Paoli, F., Pelletier, J., Pereira, L. C., Poggiolesi, F., Ramanayake, R., Schmidt, R., Shramko, Y., & 35 othersUrchs, M., Tourlakis, G., Wansing, H., Zaitsev, D., Gruszczyński, R., Indrzejczak, A., Jarmużek, T., Kaczmarek, J., Klonowski, M., Mruczek-Nasieniewska, K., Nasieniewski, M., Palczewski, R., Pietruszczak, A., Zawidzki, M., Berger, U., Conradie, W., Dalmonte, T., Dicher, B., Drobyshevich, S., Enqvist, S., Figueiredo, D., Fiorino, G., Grabarczyk, P., Greco, G., Huuskonen, T., Kubyshkina, E., Leszczyńska-Jasion, D., Lopes, B., Łukowski, P., Madeira, A., Nowak, M., Petrolo, M., Płaczek, P., Tesi, M. & Zhao, Z., 14 Apr 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 358

Research output: Contribution to journal › Editorial › peer-review

Disentangling FDE-based paraconsistent modal logics

Odintsov, S. P. & Wansing, H., 23 Sept 2017, In: Studia Logica. 105, 6, p. 1221-1254 34 p.

Research output: Contribution to journal › Article › peer-review