An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]
Tadeusz Litak
This is a PhD Thesis written under supervision of Professor Hiroakira Ono at the Japan Advanced Institute of Science and Technology.
年:
2005
出版社:
Japan Advanced Institute of Science and Technology
语言:
english
页:
143
文件:
PDF, 653 KB
IPFS:
,
english, 2005