A specialization of definitions in common knowledge logic

zbMATH Open1338.03020MaRDI QIDQ2791893

Aurimas Paulius Girčys, Regimantas Pliuškevičius

Publication date: 16 March 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

sequent calculusterminationcommon knowledge logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: A specialization of definitions in common knowledge logic

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