Translator Disclaimer
2020 A modified subformula property for the modal logic KC4
Mitio Takano
Nihonkai Math. J. 31(1): 35-44 (2020).

Abstract

The modal logic KC4 is the smallest normal modal logic K with the additional axiom $\Box\Box A \mathbin{\supset} \Box A$ called C4, which claims density of the accessible relation. In this article, a modified subformula property for this logic is shown by devising an appropriate sequent calculus. The finite model property and decidability of this logic are easy corollaries.

It is peculiar that a modified subformula for this logic is defined for a set of formulas but not for a single formula.

Citation

Download Citation

Mitio Takano. "A modified subformula property for the modal logic KC4." Nihonkai Math. J. 31 (1) 35 - 44, 2020.

Information

Received: 17 April 2020; Revised: 11 June 2020; Published: 2020
First available in Project Euclid: 7 November 2020

MathSciNet: MR4172694

Subjects:
Primary: 03B45
Secondary: 03F05

Rights: Copyright © 2020 Niigata University, Department of Mathematics

JOURNAL ARTICLE
10 PAGES

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

SHARE
Vol.31 • No. 1 • 2020
Back to Top