Decision procedures for quantified fragments of reflexive common knowledge logic

From MaRDI portal
Publication:3080428













This page was built for publication: Decision procedures for quantified fragments of reflexive common knowledge logic

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