×

找到27个文档(结果1-27)

结构完备性和超直觉的查询逻辑。 (英语) Zbl 07810565号

Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 194-210 (2023).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

什么样的连接词导致直觉谓词逻辑和常量域逻辑之间的差异? (英语) Zbl 07691322号

Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 175-189 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

一些遗传不可解空间的模态逻辑。 (英语) Zbl 07469214号

Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:斯普林格。Outst公司。控制日志。22, 303-322 (2022).
MSC公司:03B45号 54层99
PDF格式BibTeX公司 XML格式引用

好奇的直觉主义逻辑。 (英语) Zbl 07585721号

Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。329-348 (2020).
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用

双教学逻辑:旧问题的新实例。 (英语) Zbl 07585718号

Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。269-288 (2020).
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用

可能世界语义中的另一个问题。 (英语) Zbl 07585712号

Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。149-168 (2020).
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用

类型理论中的概率推理——交叉类型案例。 (英语) Zbl 07266049号

Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 122-139 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份