#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1985

2016

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Pierluigi Minari, Mitio Takano, Hiroakira Ono
- J. Symb. Log.
- 1990

- Mitio Takano
- Arch. Math. Log.
- 2002

- Mitio Takano
- Studia Logica
- 1987

- Masazumi Hanazawa, Mitio Takano
- J. Symb. Log.
- 1986

- Mitio Takano
- 2007

The sequent calculus GK5 (GK5D) for the modal propositional logic K5 (K5D) is presented, and it is shown that, every provable sequent Γ → Θ in GK5 (GK5D) has a GK5-proof (GK5D-proof) such that every formula occurring in it is either a subformula of some formulas in Γ, Θ, or the formula 2¬2B or ¬2B, where 2B occurs in the scope of some occurrence of 2 in… (More)

- Mitio Takano
- Studia Logica
- 1985

- Mitio Takano
- J. Symb. Log.
- 1994

- Mitio Takano
- Studia Logica
- 1987

- Mitio Takano
- Arch. Math. Log.
- 1985

- Mitio Takano
- Math. Log. Q.
- 1991