Algebraic Combination of Logics
PRAXIS XXI Project PCEX/P/MAT/46/96: Sep97-Nov99.
Final Report: aclFinalRep.ps.
The action was aimed at the development of the categorial
theory of the combination of logics.
Sites and key researchers
- Faculdade de Ciências da Universidade de Lisboa
- Categorial foundations
- Theory of descent
- Closure operators
- Constructions for institutions
- Modal and temporal logics
- Concurrency models
- Compositionality in parallel program design languages
Some relevant papers at LCG
(look also at the repositories of papers at the other sites)
(including submitted and in
Last update: December 14, 1999.