–
Room P3.10, Mathematics Building
Paula Gouveia, Instituto Superior Técnico
Fibring Grothendieck institutions
Combined logics are essential for reasoning about complex systems. In this work we analyze three mechanisms for combining logics (synchronization, parameterization and fibring) and show how they can be represented in the context of the theory of institutions by exploring the connections between them. For the purpose we adopt the notion of heterogeneous specification as a structured specification in a suitable Grothendieck institution, as proposed by R. Diaconescu. The talk reports ongoing joint work with C. Caleiro e J. Ramos.