On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames

Publication Information

Title

Japanese:
English:	On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames

Author

Japanese:	萩原茂樹, 友石正彦, 米崎直樹.
English:	Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki.

Language

English

Journal/Book name

Japanese:
English:	Proceedings of the 14th Philippine Computing Science Congress

Volume, Number, Page

pp. 22-27

Published date

Mar. 6, 2014

Publisher

Japanese:
English:

Conference name

Japanese:
English:	14th Philippine Computing Science Congress (PCSC 2014)

Conference site

Japanese:
English: