Two complete finitary sequent calculi for reflexive common knowledge

zbMATH Open1335.03015MaRDI QIDQ2799622

Aurimas Paulius Girčys, R. Pliuškevičius

Publication date: 13 April 2016

Published in: Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A (Search for Journal in Brave)

zbMATH Keywords

sequent calculicommon knowledge logicreflexive common knowledge logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Two Diamonds Are More Than One

This page was built for publication: Two complete finitary sequent calculi for reflexive common knowledge

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