Sergey Drobyshevich

MaRDI QIDQ2027213zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Normal companions of intuitionistic modal logics Algebra and Logic	2024-01-11	Paper
Tarskian consequence relations bilaterally: some familiar notions Synthese	2023-12-14	Paper
scientific article; zbMATH DE number 7576848 (Why is no real title available?)	2022-08-26	Paper
Neighbourhood semantics for FDE-based modal logics Studia Logica	2021-12-27	Paper
A general framework for FDE-based modal logics Studia Logica	2021-05-25	Paper
Proof systems for various \textsf{FDE}-based modal logics The Review of Symbolic Logic	2021-05-11	Paper
A bilateral Hilbert-style investigation of 2-intuitionistic logic Journal Of Logic And Computation	2020-02-03	Paper
Disentangling structural connectives or life without display property Journal of Philosophical Logic	2019-06-17	Paper
On displaying negative modalities Logic and Logical Philosophy	2018-09-20	Paper
On classical behavior of intuitionistic modalities Logic and Logical Philosophy	2017-05-18	Paper
Double negation operator in logic \(N^*\) Journal of Mathematical Sciences	2016-07-22	Paper
Finite model property for negative modalities Sibirskie Elektronnye Matematicheskie Izvestiya	2015-11-16	Paper
Some modal operators over intuitionistic logic Algebra and Logic	2015-07-28	Paper
Composition of an intuitionistic negation and negative modalities as a necessity operator Algebra and Logic	2014-02-06	Paper
A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability Algebra and Logic	2012-12-17	Paper

Research outcomes over time

This page was built for person: Sergey Drobyshevich