output
20112025
most citedLocal detailed balance

103 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2022Show all

5 papers · 1 filter

math.LO2022★ 7 cited

Qualitative reasoning in a two-layered framework

Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1

The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…

quant-ph2022★ 1 cited

Causal nonseparability and its implications for spatiotemporal relations

Laurie Letertre

Quantum nonseparability is a central feature of quantum mechanics, and raises important philosophical questions. Interestingly, a particular theoretical development of quantum mech…

cs.LO2022★ 1 cited

Routley Star in Information-Based Semantics

Vít Punčochář, Igor Sedlár

It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works wel…

cs.LO2022★ 1 cited

Natural Deduction for Assertibility and Deniability

Vít Punčochář, Berta Grimau

In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically…

math.LO2022★ 4 cited

Reasoning with belief functions over Belnap--Dunn logic

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko +2

We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We…