arXiv:1102.0240 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords geometric kripke semantics, intermediate logics, translating labels, correspond, translating geometric kripke frame axioms Tags conference paper Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset