| Publication | Date of Publication | Type |
|---|
On hereditarily undecidable fragments of basic elementary theories
Mathematical Notes | 2025-12-19 | Paper |
An `elementary' perspective on reasoning about probability spaces
Logic Journal of the IGPL | 2025-10-30 | Paper |
Some remarks on Došen's logic \texttt{N} and its extensions
Sibirskie Elektronnye Matematicheskie Izvestiya | 2024-11-25 | Paper |
On the quantified version of the Belnap-Dunn modal logic
Sbornik: Mathematics | 2024-08-02 | Paper |
Elementary invariants for quantified probability logic
Doklady Mathematics | 2023-09-07 | Paper |
On the coprimeness relation from the viewpoint of monadic second-order logic
Izvestiya: Mathematics | 2023-09-02 | Paper |
Infinitary action logic with multiplexing
Studia Logica | 2023-04-21 | Paper |
Modal bilattice logic and its extensions
Algebra and Logic | 2022-06-15 | Paper |
Infinitary action logic with exponentiation
Annals of Pure and Applied Logic | 2022-01-18 | Paper |
Negation as a modality in a quantified setting
Journal Of Logic And Computation | 2021-09-22 | Paper |
Belnap-Dunn modal logics: truth constants vs. truth values
The Review of Symbolic Logic | 2020-04-27 | Paper |
Infinitary Action Logic with Exponentiation
(available as arXiv preprint) | 2020-01-19 | Paper |
Reasoning about arbitrary natural numbers from a Carnapian perspective
Journal of Philosophical Logic | 2019-09-03 | Paper |
Hintikka's independence-friendly logic meets Nelson's realizability
Studia Logica | 2018-08-06 | Paper |
Quantifying over events in probability logic: an introduction
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
The lattice of Belnapian modal logics: special extensions and counterparts
Logic and Logical Philosophy | 2017-05-18 | Paper |
Notes on the computational aspects of Kripke's theory of truth
Studia Logica | 2017-05-15 | Paper |
A note on hereditarily Π10- and Σ10-complete sets of sentences
Journal Of Logic And Computation | 2017-01-31 | Paper |
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Some new results in monadic second-order arithmetic
Computability | 2015-10-20 | Paper |
Computability issues for adaptive logics in multi-consequence standard format
Studia Logica | 2014-06-19 | Paper |
Collapsing probabilistic hierarchies. I
Algebra and Logic | 2013-11-27 | Paper |
Complexity for probability logic with quantifiers over propositions
Journal of Logic and Computation | 2013-11-21 | Paper |
A note on definability in fragments of arithmetic with free unary predicates
Archive for Mathematical Logic | 2013-09-09 | Paper |
| On algorithmic properties of propositional inconsistency-adaptive logics | 2013-06-12 | Paper |
Quantification over propositional formulas in probability logic: decidability issues
Algebra and Logic | 2012-12-17 | Paper |
On the logical consistency of probabilistic predictions
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-07-13 | Paper |
On the computational aspects of the maximal specificity in probabilistic explanation
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-07-13 | Paper |
