×

马特乌斯·克洛诺夫斯基

作者ID: 克洛诺夫斯基·马特乌斯最近由“Klonowski,Mateusz”撰写的zbMATH文章
发布方式: 马特乌斯·克洛诺夫斯基
已编制索引的文档: 15出版物自2017年起,包括1个附加arXiv预打印
合著者: 14合著者具有12联合出版物
86位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

9出版物有被引用36中的次16文件 引用人 年份
严格意义上的形式逻辑。语义和表格方法。 Zbl 1478.03038号
Jarmużek,托马兹;马特乌斯·克洛诺夫斯基
11
2020
由相关语义和表系统定义的一些内涵逻辑。 Zbl 07607234号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
9
2021
一些基本和模态布尔连接逻辑的公理化。 Zbl 07462130号
马特乌斯·克洛诺夫斯基
6
2021
对称相关逻辑S的完备性定理的后式证明。 Zbl 1437.03106号
马特乌斯·克洛诺夫斯基
4
2018
相关逻辑的历史。起源和研究方向。 Zbl 1496.03004号
马特乌斯·克洛诺夫斯基
2
2021
自由选择许可、合法化和相关语义。 Zbl 1515.03071号
格拉瓦尼切娃,丹妮拉;托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基;彼得·库利基
1
2023
贝叶斯命题逻辑。 Zbl 1423.03067号
托马斯·贾穆泽克;马特乌斯·克洛诺夫斯基;雅切克·马林诺夫斯基
1
2017
一些常规模态逻辑的简化Kripke式语义。 Zbl 1452.03061号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak);马特乌斯·克洛诺夫斯基;雅罗斯拉夫·彼得鲁金
1
2020
表aux用于内容关系逻辑和集合分配语义。 Zbl 1521.03056号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
1
2022
自由选择许可、合法化和相关语义。 Zbl 1515.03071号
丹尼拉·格拉瓦尼科娃;Jarmużek,托马兹;马特乌斯·克洛诺夫斯基;彼得·库利基
1
2023
表aux用于内容关系逻辑和集合分配语义。 Zbl 1521.03056号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
1
2022
由相关语义和表系统定义的一些内涵逻辑。 Zbl 07607234号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
9
2021
一些基本和模态布尔连接逻辑的公理化。 Zbl 07462130号
马特乌斯·克洛诺夫斯基
6
2021
相关逻辑的历史。起源和研究方向。 Zbl 1496.03004号
马特乌斯·克洛诺夫斯基
2
2021
关于严格道义模式的逻辑。语义和表格方法。 Zbl 1478.03038号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
11
2020
一些常规模态逻辑的简化Kripke式语义。 Zbl 1452.03061号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak);马特乌斯·克洛诺夫斯基;雅罗斯拉夫·彼得鲁金
1
2020
对称关联逻辑S的完备性定理的后式证明。 Zbl 1437.03106号
马特乌斯·克洛诺夫斯基
4
2018
贝叶斯命题逻辑。 Zbl 1423.03067号
托马斯·贾穆泽克;马特乌斯·克洛诺夫斯基;雅切克·马林诺夫斯基
1
2017

按年份列出的引文