| Budget Amount *help |
¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2013: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2011: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Research Abstract |
I started this research on basis of the observation "Kripke frame is a graph", and I aimed at restructuring the frame-theoretic approch to semantical study of modal logics by introducing the knowledge and techniques in graph theory. As the results after three-year investigation, I found the following facts. (1) We have to utilize graph theory for the class of infinite graphs, not ordinary graph theory, (2) The "minor relation" in Graph Minor Theorem may destroy the order of two modal logics which are determined by two Kripke frames. Therefore this relation is not suitable for analizing the lattice structure which is made of some class of modal logics, and (3) There are at least two methods for extending the usual modal language to characterize the logic determined by the class of all undirected graphs.
|
