Dear Tony, Some Hybrid logics have the same expressive power of FOL. But even the basic hybrid logic is not bisimulation-invariant while modal logics, in general, are. Some properties like irreflexivity, intransitivity are not definable in BML but are in BHL.
All the best, Mario 2012/5/18 Tony Marmo <marmo.t...@gmail.com> > 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
