Cristina Sernadas

• Decidability of Logical Theories and Their Combination
• Decidability of Logical Theories and Their Combinations