14 citations · 25 across the 4 of their papers we have counts for
5 papers
An Abstract Look at Awareness Models and Their Dynamics
Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel
This work builds upon a well-established research tradition on modal logics of awareness. One of its aims is to export tools and techniques to other areas within modal logic. To th…
Thinking About Causation: A Causal Language with Epistemic Operators
Fausto Barbero, Katrin Schulz, Sonja Smets +2
This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a…
Argument-based Belief in Topological Structures
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use a topological semantics to represe…
Forgetting complex propositions
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morrillo +2
This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may f…
Knowledge, Awareness, and Bisimulation
Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada +1
We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explici…