Hostname: page-component-76fb5796d-vfjqv Total loading time: 0 Render date: 2024-04-29T21:06:21.061Z Has data issue: false hasContentIssue false
  • English
  • Français

The number of modalities in T supplemented by the axiom CL2pL3p

Published online by Cambridge University Press:  12 March 2014

Takeo Sugihara
Takeo Sugihara*
Affiliation:
Fukui University, Fukui, Japan
Get access Rights & Permissions [Opens in a new window]

Extract

It is shown in Sobociński [1] that the number of irreducible modalities in T is infinite. The infinity of modalities in T collapses if the axiom CLpL2p is added to T, since T plus CLpL2p is equivalent to S4 and the number of irreducible modalities in S4 is finite as proved in Parry [2]. But the addition of the axiom CL2pL3p does not collapse the infinity of modalities in T. The aim of the present paper is to prove this theorem and its corollaries.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 27 , Issue 4 , December 1962 , pp. 407 - 408
Copyright
Copyright © Association for Symbolic Logic 1962

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Bolesław Sobociński, Note on a modal system of Feys-von Wright, Journal of computing systems, Vol. 1 (1953), pp. 171–178.Google Scholar
[2] Parry, W. T., Modalities in the Survey system of strict implication, this Journal , Vol. 4 (1939), pp. 137–157.Google Scholar
[3] Prior, A. N., Time and Modality, Oxford, 1957, pp. 23–24.Google Scholar