Here are some of my preprints.
-
Modal bilattice logic and its extensions.
Algebra and Logic 60(6), 407–424, 2022.
DOI: 10.1007/s10469-022-09667-x
-
Infinitary action logic with exponentiation.
Annals of Pure and Applied Logic 173(2), 103057, 2022.
(with S.L. Kuznetsov).
DOI: 10.1016/j.apal.2021.103057
-
Negation as a modality in a quantified setting.
Journal of Logic and Computation 31(5), 1330–1355, 2021.
DOI: 10.1093/logcom/exab025
-
Belnap–Dunn modal logics: truth constants vs. truth values.
Review of Symbolic Logic 13(2), 416–435, 2020
(with S.P. Odintsov).
DOI: 10.1017/S1755020319000121
-
Reasoning about arbitrary natural numbers from a Carnapian perspective.
Journal of Philosophical Logic 48(4), 685–707, 2019
(with L. Horsten).
DOI: 10.1007/s10992-018-9490-1
-
Hintikka's independence-friendly logic meets Nelson's realizability.
Studia Logica 106(3), 637–670, 2018
(with S.P. Odintsov & I.Yu. Shevchenko).
DOI: 10.1007/s11225-017-9760-x
-
Quantifying over events in probability logic: an introduction.
Mathematical Structures in Computer Science 27(8), 1581–1600, 2017.
DOI: 10.1017/S0960129516000189
-
Notes on the computational aspects of Kripke’s theory of truth.
Studia Logica 105(2), 407–429, 2017.
DOI: 10.1007/s11225-016-9694-8
-
Some new results in monadic second-order arithmetic.
Computability 4(2), 159–174, 2015.
DOI: 10.3233/COM-150036
More preprints can be found here.
|