Daniil Kozhemiachenko

Available identifiers

zbMath Open kozhemiachenko.daniilMaRDI QIDQ2021562

List of research outcomes

Publication	Date of Publication	Type
Non-contingency in a paraconsistent setting	2024-11-15	Paper
Reasoning with belief functions over Belnap-Dunn logic	2024-06-24	Paper
Two-layered logics for paraconsistent probabilities	2024-02-28	Paper
Presumptive Reasoning in a Paraconsistent Setting	2024-02-28	Paper
Knowledge and ignorance in Belnap--Dunn logic	2023-09-04	Paper
Qualitative reasoning in a two-layered framework	2023-06-20	Paper
Paraconsistent G\"{o}del modal logic on bi-relational frames	2023-03-24	Paper
Non-standard modalities in paraconsistent G\"{o}del logic	2023-03-24	Paper
Paraconsistent Gödel modal logic	2022-12-07	Paper
Crisp bi-G\"{o}del modal logic and its paraconsistent expansion	2022-11-03	Paper
Constraint tableaux for two-dimensional fuzzy logics	2022-05-25	Paper
Reasoning with belief functions over Belnap--Dunn logic	2022-03-02	Paper
Paraconsistent G\"{o}del modal logic	2022-03-02	Paper
Constraint tableaux for two-dimensional fuzzy logics	2021-05-15	Paper
Non-distributive relatives of ETL and NFL	2021-04-27	Paper
Generalisation of proof simulation procedures for Frege systems by M. L. Bonet and S. R. Buss	2019-01-14	Paper
A simulation of natural deduction and Gentzen sequent calculus	2018-09-20	Paper
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"	N/A	Paper
"Simple tableaux for two expansions of G\""odel modal logic"	N/A	Paper
Non-contingecy in a paraconsistent setting	N/A	Paper
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic	N/A	Paper
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss	N/A	Paper
Non-distributive relatives of ETL and NFL	N/A	Paper

Research outcomes over time

This page was built for person: Daniil Kozhemiachenko