Dear friends, colleagues and Professors,
I write to inquire on the issue of interpreting the consistency operator ° as a modal one, either necessity or possibility. 1. Are there any works which, from the perspective of neighbourhood semantics, treat it as necessity operator, i.e., °A means that [[A]] belongs to N(w)? 2. Are there any works which, by another topological approach, treat °A as necessity operator defined as the interior, i.e., [[°A]]= int[[A]]? 3. 2. Are there any works which, by another topological approach, treat °A means the closure of [[A]]? Please, feel free to write me any thoughts you might have on the issue. Thank you very much. Very best regards, Tony Marmo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l