arXiv:2006.10180 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords s5-modal gödel logic, algebraic study, locally finite subvarieties, equivalent algebraic semantics, subvariety Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset