11 citations · 14 across the 5 of their papers we have counts for
5 papers · 1 filter
Completeness of Finitely Weighted Kleene Algebra With Tests
Igor Sedlár
Building on Ésik and Kuich's completeness result for finitely weighted Kleene algebra, we establish relational and language completeness results for finitely weighted Kleene algebr…
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…
Epistemic Logics of Structured Intensional Groups
Marta Bílková, Igor Sedlár
Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, inten…
Kleene Algebra With Tests for Weighted Programs
Igor Sedlár
Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra…
Propositional dynamic logic with Belnapian truth values
Igor Sedlár
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth va…