arXiv:2401.00457 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finite model property, construct filtrations, tense counterparts, canonical subframe logic, expressible transitive closure modality Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset