The resolution tableau for logics of likelihood

zbMATH Open1265.03006MaRDI QIDQ2913985FDOQ2913985

Zoran Ognjanović

Publication date: 21 September 2012

Published in: Kragujevac Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

resolutiontableaulogic of likelihood

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

This page was built for publication: The resolution tableau for logics of likelihood

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2913985)