11 citations · 12 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…