Modalities and Multimodalities

Paraconsistent Logic: Consistency, Contradiction and Negation

Methods and Applications of Mathematical Logic: Proceedings of the VII Latin American Symposium on Mathematical Logic Held July 29-August 2, 1985

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems