3 papers
cs.LO2022
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…
cs.LO2019
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…
cs.LO2019
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…