11 citations · 12 across the 3 of their papers we have counts for
5 papers
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…
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
Igor Sedlár, Johann J. Wannenburg
Kozen and Tiuryn have introduced the substructural logic for reasoning about correctness of while programs (ACM TOCL, 2003). The logic distinguishes betwe…
Iterative division in the Distributive Full Non-associative Lambek Calculus
Igor Sedlár
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative comp…
First Degree Entailment with Group Attitudes and Information Updates
Igor Sedlár, Vít Punčochář, Andrew Tedder
We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203-240, 1995) by adding operators for universal and common knowledge in a group of agents…
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…