2 papers
cs.LO2023
Uncertainty-Based Knowing How Logic
Carlos Areces, Raul Fervari, Andrés R. Saravia +1
We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to th…
cs.LO2023
(Arbitrary) Partial Communication
Rustam Galimullin, Fernando R. Velázquez-Quesada
Communication within groups of agents has been lately the focus of research in dynamic epistemic logic (DEL). This paper studies a recently introduced form of partial (more precise…