Czech Academy of Sciences, Institute of Philosophy

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 math.LOShow all

5 papers · 1 filter

math.LO2023★ 1 cited

Non-standard modalities in paraconsistent Gödel logic

Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko

We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation $\neg$ and modalities $■$ and $⧫$ . We equip it with Kripke semantics on…

math.LO2023★ 2 cited

Two-layered logics for paraconsistent probabilities

Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1

We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0, 1]$ -valued logic with Baaz $△$ operator and the B…

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…

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…

math.LO2017★ 35 cited

Notes on bounded induction for the compositional truth predicate

Mateusz Łełyk, Bartosz Wcisło

We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with $Δ_{0}$ -induction scheme for the truth predicate and the full arithmetic…