Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (TARK, 2021)

First Steps in Updating Knowing How. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (DaLí, 2022)

A Deontic Logic of Knowingly Complying. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (AAMAS, 2023)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (JELIA, 2023)

Uncertainty-based knowing how logic. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (J. Log. Comput., 2025)