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
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
This page was built for publication: Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView