Home» News» News» 4月11日 王昊玉报告

News

4月11日 王昊玉报告

发布日期：2023-04-11 作者：

4月11日 王昊玉做了题为《直觉主义模态逻辑的多种可能性》的报告，综述了直觉主义模态逻辑研究的历史与现状。