View of Two complete finitary sequent calculi for reflexive common knowledge | Lietuvos matematikos rinkinys

← Return to Article Details Two complete finitary sequent calculi for reflexive common knowledge