Daniil Kozhemiachenko

Available identifiers

zbMath Open kozhemiachenko.daniilMaRDI QIDQ2021562

List of research outcomes

Publication	Date of Publication	Type
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
Simulation of Natural Deduction and Gentzen Sequent Calculus	2018-09-20	Paper
"Non-standard modalities in paraconsistent G\""{o}del logic"	0001-01-03	Paper
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"	0001-01-03	Paper
"Simple tableaux for two expansions of G\""odel modal logic"	0001-01-03	Paper
Non-contingecy in a paraconsistent setting	0001-01-03	Paper
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic	0001-01-03	Paper
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss	0001-01-03	Paper
Non-distributive relatives of ETL and NFL	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniil Kozhemiachenko