arXiv:1412.4439 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords elementary theories, glp-algebras, polymodal provability logic, linear ordered sets, modal algebras Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset