Dear colleagues and friends, I write to inquire the following concerning hybrid logics:
1. Firstly, I wonder whether hybrid logic languages have a real advantage in relation to *multi-modal logics*, for instance, if the former are really more expressive than the latter, or if the notion of parameter covers that of nominals. 2. I'm not sure whether the modal operators are not satisfaction operators or vice-versa. Isn't it the same as giving new names to old things? I shall appreciate your opinions. Thank you very much, Tony Marmo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
