Edit Profile Lick, Anthony Compute Distance To: Compute Author ID: lick.anthony Published as: Lick, Anthony Documents Indexed: 2 Publications since 2018 Co-Authors 1 single-authored 1 Baelde, David 1 Schmitz, Sylvain Serials Fields 2 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ A hypersequent calculus with clusters for linear frames. Zbl 1418.03066Baelde, David; Lick, Anthony; Schmitz, Sylvain 1 2018 A hypersequent calculus with clusters for linear frames. Zbl 1418.03066Baelde, David; Lick, Anthony; Schmitz, Sylvain 1 2018 Cited by 1 Author 1 Indrzejczak, Andrzej Cited in 1 Serial 1 The Review of Symbolic Logic Cited in 1 Field 1 Mathematical logic and foundations (03-XX) Citations by Year