×

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

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

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

不同域Kripke模型中量词的交换性。 (英语) Zbl 1167.03016号

戴维·梅金森(编辑)等人,《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:施普林格出版社(ISBN 978-1-4020-9083-7/hbk;978-1-4020-9084-4/电子书)。《逻辑趋势》——Studia Logica Library 28,9-30(2009)。
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子数中非交换逻辑的Kripke-Joyal语义。 (英语) Zbl 1144.03039号

Governatori,Guido(编辑)等人,《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)的论文选集。伦敦:学院出版物(ISBN 1-904987-20-6/pbk)。209-225 (2006).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份