Multi-structure logics

Descrição: We describe a theory of ``multi-structures, and explore logics and languages that are natural for the study of thes... Veja mais