Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska. An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. In Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens, editors, Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Volume 4342 of Lecture Notes in Computer Science, pages 89-104, Springer, 2006. [doi]
Abstract is missing.