A MODIFIED SUBFORMULA PROPERTY FOR THE MODAL LOGIC KG1

Mitio Takano

doi:nihmj/1687774946

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 $\ddd\bbb A\imp\bbb\ddd A$ 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

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS