We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleExhaustively Axiomatizing S3<sup>°</sup>→ and S4<sup>°</sup>→.AuthorsRobles, Gemma; Salto, Francisco; Méndez, José M.PublicationTeorema, 2008, Vol 27, Issue 2, p79ISSN0210-1602Publication typeAcademic Journal