Loop-check elimination for non-transitive distributed knowledge logic

zbMATH Open1344.03026MaRDI QIDQ2811593FDOQ2811593

Aida Pliuškevičienė

Publication date: 10 June 2016

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

zbMATH Keywords

sequent calculusdistributed knowledgeloop-checklogic of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

This page was built for publication: Loop-check elimination for non-transitive distributed knowledge logic

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