A Hypersequent Calculus with Clusters for Linear Frames - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Baelde, Anthony Lick, Sylvain Schmitz. A Hypersequent Calculus with Clusters for Linear Frames. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 43-62, College Publications, 2018. [doi]

This author has not been identified. Look up 'David Baelde' in GoogleThis author has not been identified. Look up 'Anthony Lick' in GoogleThis author has not been identified. Look up 'Sylvain Schmitz' in Google

runs on WebDSL