1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CY2015★ 1 cited
Set theory and tableaux for teaching propositional logic
Nino Guallart, Angel Nepomuceno-Fernandez
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory,…
cs.LO2015
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…