1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
Daniil Kozhemiachenko, Igor Sedlár
We explore a fuzzy modal logic that can formalise probabilistic reasoning about actions and knowledge. In particular, we deal with contexts involving statements about events expres…
cs.LO2026
Knowledge on a Budget
Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger +1
In various computational systems, accessing information incurs time, memory or energy costs. However, standard epistemic logics usually model the acquisition of evidence as a cost-…
cs.LO2023★ 1 cited
Kleene Algebra with Dynamic Tests: Completeness and Complexity
Igor Sedlár
We study versions of Kleene algebra with dynamic tests, that is, extensions of Kleene algebra with domain and antidomain operators. We show that Kleene algebras with tests and Prop…