2022 A MODIFIED SUBFORMULA PROPERTY FOR THE MODAL LOGIC KG1
Mitio Takano
Author Affiliations +
Nihonkai Math. J. 33(2): 45-60 (2022).

Abstract

A modified subformula property for the modal logic KG1 is shown, where KG1 is the smallest normal modal logic K with the additional axiom AA called G1, and it is characterized by the convergent frames. The finite model property and decidability of this logic are easy corollaries.

Citation

Download Citation

Mitio Takano. "A MODIFIED SUBFORMULA PROPERTY FOR THE MODAL LOGIC KG1." Nihonkai Math. J. 33 (2) 45 - 60, 2022.

Information

Received: 19 November 2021; Revised: 18 November 2022; Published: 2022
First available in Project Euclid: 11 July 2023

MathSciNet: MR4622661
zbMATH: 07721314

Subjects:
Primary: 03B45 , 03F05

Keywords: modal logic KG1 , sequent calculus , subformula property

Rights: Copyright © 2022 Niigata University, Department of Mathematics

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.33 • No. 2 • 2022
Back to Top