高野 道夫

Finite model property for an intuitionistic modal logic. 

Nihonkai Mathematical Journal 14(2) 125-132 2003年  

A modified subformula property for the modal logics K5 and K5D. 

Bulletin of the Section of Logic, University of Lodz 30(2) 115-122 2001年  

A modified subformula property for the modal logics K5 and K5D. 

Bulletin of the Section of Logic, University of Lodz 30(2) 115-122 2001年  

Subformula property for an intuitionistic modal logic. 

Mathematica Japonica 49(3) 427-431 1999年  

Subformula property for an intuitionistic modal logic. 

Mathematica Japonica 49(3) 427-431 1999年  

Sequent calculi for three-valued logics. 

Tsukuba Journal of Mathematics 22(2) 447-461 1998年  

Sequent calculi for three-valued logics. 

Tsukuba Journal of Mathematics 22(2) 447-461 1998年  

A sequent calculus for the Lesniewskian modal logic. 

Annals of the Japan Association for Philosophy of Science 8(4) 191-201 1994年  

Subformula property in many-valued modal logics. 

The Journal of Symbolic Logic 59(4) 1263-1273 1994年  

A sequent calculus for the Lesniewskian modal logic. 

Annals of the Japan Association for Philosophy of Science 8(4) 191-201 1994年  

Cut-free systems for three-valued modal logics. 

Notre Dame Journal of Formal Logic 33(3) 359-368 1992年  

Cut-free systems for three-valued modal logics. 

Notre Dame Journal of Formal Logic 33(3) 359-368 1992年  

Subformula property as a substitute for cut-elimination in modal propositional logics. 

Mathematica Japonica 37(6) 1129-1145 1992年