arXiv:2003.04623 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords maximal consistent sets, interpretability logics, critical labels, modal completeness proofs, concisely formulated completeness proofs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset