Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact email@example.com with any questions.
A modified subformula property for the modal logic KG1 is shown, where KG1 is the smallest normal modal logic K with the additional axiom called G1, and it is characterized by the convergent frames. The finite model property and decidability of this logic are easy corollaries.