View of Decision procedures for quantified fragments of reflexive common knowledge logic | Lietuvos matematikos rinkinys

← Decision procedures for quantified fragments of reflexive common knowledge logic