Here are some of my preprints.
-
Sharpening complexity results in quantified probability logic.
Logic Journal of the IGPL, jzae114, 2024.
doi
-
An `elementary' perspective on reasoning about probability spaces.
Logic Journal of the IGPL, jzae042, 2024.
doi
-
On the quantified version of the Belnap–Dunn modal logic.
Sbornik: Mathematics 215(3), 323–354, 2024.
(with A.V. Grefenshtein).
doi
-
Infinitary action logic with multiplexing.
Studia Logica 111(2), 251–280, 2023.
(with S.L. Kuznetsov).
doi
-
Some remarks on Došen's logic N and its extensions.
Siberian Electronic Mathematical Reports 19(2), 562–577, 2022.
-
Modal bilattice logic and its extensions.
Algebra and Logic 60(6), 407–424, 2022.
doi
-
Infinitary action logic with exponentiation.
Annals of Pure and Applied Logic 173(2), 103057, 2022.
(with S.L. Kuznetsov).
doi
-
Negation as a modality in a quantified setting.
Journal of Logic and Computation 31(5), 1330–1355, 2021.
doi
-
Belnap–Dunn modal logics: truth constants vs. truth values.
Review of Symbolic Logic 13(2), 416–435, 2020
(with S.P. Odintsov).
doi
-
Reasoning about arbitrary natural numbers from a Carnapian perspective.
Journal of Philosophical Logic 48(4), 685–707, 2019
(with L. Horsten).
doi
-
Hintikka's independence-friendly logic meets Nelson's realizability.
Studia Logica 106(3), 637–670, 2018
(with S.P. Odintsov & I.Yu. Shevchenko).
doi
-
Quantifying over events in probability logic: an introduction.
Mathematical Structures in Computer Science 27(8), 1581–1600, 2017.
doi
-
Notes on the computational aspects of Kripke’s theory of truth.
Studia Logica 105(2), 407–429, 2017.
doi
-
A note on hereditarily Π01- and Σ01-complete sets of sentences.
Journal of Logic and Computation 26(5), 1729–1741, 2016.
doi
-
Some new results in monadic second-order arithmetic.
Computability 4(2), 159–174, 2015.
doi
-
A note on definability in fragments of arithmetic with free unary predicates.
Archive for Mathematical Logic 52(5–6), 507–516, 2013.
doi
More preprints can be found here.
|