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

DOI10.1007/11964810_5zbMath1177.68202OpenAlexW1592679255MaRDI QIDQ5302022

Ewa S. Orłowska, Andrea Formisano, Eugenio Giovanni Omodeo

Publication date: 20 January 2009

Published in: Theory and Applications of Relational Structures as Knowledge Instruments II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11964810_5

zbMATH Keywords

modal logic relational systems translation methods

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic programming (68N17) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics