Walter A. Carnielli

• Analysis and synthesis of logics
• Computability
• Modalità e multimodalità
• Modalities and multimodalities
• Model-based reasoning in science and technology
• Multi-valued Logics (Journal of Applied Non-classical Logics)