An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andrea Formisano' in GoogleThis author has not been identified. Look up 'Eugenio G. Omodeo' in GoogleThis author has not been identified. Look up 'Ewa Orlowska' in Google

runs on WebDSL