Fernando Soler Toscano

Forgetting complex propositions

This paper uses possible-world semantics to model the changes that may occur in an agents knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition

Resolución abductiva de anáforas pronominales

\pi

Tuning the program transformers from LCC to PDL

is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this. We resolve this situation by considering expressions of the form

The fundamental problem of contemporary epistemology

[\boldsymbol{\ddagger} \pi]\varphi

¿Qué es lo lógico? La logicidad dentro y fuera de la lógica (What is Logical? Logicality Inside and Outside Logic)

, which quantify over all possible (but minimal) ways of forgetting whether

Abducción y semántica de teoría de juegos

\pi

Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles

. Propositional atoms are modified non-deterministically, although uniformly, in all possible worlds. We then represent this within action model logic in order to give a sound and complete axiomatization for a logic with knowledge and forgetting. Finally, some variants are discussed, such as when an agent forgets

Aproximación modal a la inferencia de nuevas teorías

\pi

Deducción y abducción

(rather than forgets whether

Deduction and abduction

\pi