On the completeness and the decidability of strictly monadic second‐order logic

Publication Information

Title

Japanese:
English:	On the completeness and the decidability of strictly monadic second‐order logic

Author

Japanese:	高木研斗, 鹿島亮.
English:	Kento Takagi, Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Mathematical Logic Quarterly

Volume, Number, Page

Vol. 66 No. 4 pp. 438-447

Published date

2020

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI