Learn More
Modal definability in topology Master's thesis Acknowledgments During the year spent in Amsterdam at ILLC I have been lucky to be supported by many. The proper acknowledgment of everyone would have resulted in a separate book. I will only name a few, with the hope that the others will find my gratitude in between the lines. I am greatly indebted to Dr. Yde(More)
This article ~s a report on research m progress into the structure of fimte diagrams of mtuinomst~c proposmonal logic with the aid of automated reasoning systems for larger calculanons. A/ragment of a proposmonal logic is the set of formulae built up from a fimte number of proposinonal variables by means of a number of connectives of the logic, among which(More)
The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of strong equivalence between logical programs that can be verified in 3-valued Gödel logic, G3, the strongest non-classical intermediate propositional logic (Lifschitz, Pearce and Valverde, 2001). In this paper we will(More)
We extend Angluin's (1980) theorem to characterize identiiability of indexed families of r.e. languages, as opposed to indexed families of recursive languages. We also prove some variants characterizing conservativity a n d t wo other similar restrictions, paralleling Zeug-mann, Lange, and Kapur's (1992, 1995) results for indexed families of recursive(More)