10 citations · 11 across the 4 of their papers we have counts for
3 papers · 1 filter
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
Carlos Areces, Raul Fervari, Andrés R. Saravia +1
We introduce a new semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the…
An Algebraic Approach for Action Based Default Reasoning
Pablo F. Castro, Valentin Cassano, Raul Fervari +1
Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted…
Symmetries in Modal Logics
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results app…