Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView

DOI10.1007/11964810_2zbMath1177.68199OpenAlexW1541601749MaRDI QIDQ5302019

Rudolf Berghammer, Renate A. Schmidt

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_2

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15) Agent technology and artificial intelligence (68T42)

Uses Software

• RelView

This page was built for publication: Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView