Publications of the Research Institute for Mathematical Sciences
Online ISSN : 1663-4926
Print ISSN : 0034-5318
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
Masahiko Sato
Author information
JOURNAL FREE ACCESS

1977 Volume 13 Issue 2 Pages 381-468

Details
Download PDF (6253K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors

This article cannot obtain the latest cited-by information.

© Research Institute forMathematical Sciences
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Publications of the Research Institute for Mathematical Sciences, Kyoto University. Ser. A

Share this page
feedback
 Top