系列丛书采用我校图书馆为封面图片,丛书第一本《模态逻辑的邻域语义学》(《Neighborhood Semantics for Modal Logic》)作者为美国马里兰大学教授埃里克·帕奎特(Eric Pacuit)。
基于1个网页-相关网页
neighborhood semantics for modal logic
模态逻辑的邻域语义
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动