亚历山大·杰拉西莫夫。 比较一阶无穷值Łukasiewicz逻辑和一阶有理Pavelka逻辑的计算。 （英语） Zbl 1530.03107号 日志。日志。菲洛斯。 32，编号2，269-318（2023）.MSC公司：03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gerasimov}，日志。日志。菲洛斯。32，编号2，269--318（2023；Zbl 1530.03107） 全文： DOI程序
理查德·扎克 Angell的AC的Fine矩阵和Ferguson矩阵之间的一个同态。 （英语） Zbl 1530.03106号 日志。日志。菲洛斯。 32，第2期，161-179（2023）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Zach}，日志。日志。菲洛斯。32，编号2，161--179（2023；Zbl 1530.03106） 全文： DOI程序 arXiv公司
奥尔多·菲加洛·奥雷利亚诺;米盖尔·佩雷斯·加斯帕;埃弗拉多·贝尔塞纳斯 CG'3逻辑的命题和一阶版本的Fidel语义。 （英语） Zbl 1530.03109号 日志。日志。菲洛斯。 32，编号1，141-158（2023）.MSC公司：03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Orellano}等人，《日志》。日志。菲洛斯。32，编号1，141--158（2023；Zbl 1530.03109） 全文： DOI程序
乔安·托兰佐·卡尔德龙;费德里科·佩洛斯 超越混合逻辑。 （英语） Zbl 1530.03100号 日志。日志。菲洛斯。 31，第4期，637-664（2022）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Calderón}和\textit{F.Pailos}，日志。日志。菲洛斯。31，编号4，637--664（2022；Zbl 1530.03100） 全文： DOI程序
费德里科·博姆;斯特凡诺·邦齐奥 批判态度的逻辑？ （英语） Zbl 1530.03021号 日志。日志。菲洛斯。 31，第2号，261-288（2022）.MSC公司：03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{F.Boem}和\textit{S.Bonzio}，日志。日志。菲洛斯。31，第2号，261--288（2022；Zbl 1530.03021） 全文： DOI程序
弗朗西斯科·保利;米歇尔·普拉·巴尔迪;达米安·斯穆克 纯变量包含逻辑。 （英语） Zbl 1496.03117号 日志。日志。菲洛斯。 30，第4期，631-652（2021）.MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{F.Paoli}等人，日志。日志。菲洛斯。30，编号4，631--652（2021；Zbl 1496.03117） 全文： DOI程序
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 带有Tarski、Kuratowski和Halmos运算符的模态多晶格逻辑。 （英语） Zbl 1517.03016号 日志。日志。菲洛斯。 30，编号3，385-415（2021）.MSC公司：03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{Y.Petrukhin}，日志。日志。菲洛斯。30，编号3，385--415（2021；Zbl 1517.03016） 全文： DOI程序
沃尔特·A·卡尼利。;马塞洛·科尼格里奥（Marcelo E.Coniglio）。 三值次协调集理论的扭曲值模型。 （英语） 兹比尔1517.03039 日志。日志。菲洛斯。 30，第2期，187-226（2021）.MSC公司：03E70型 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Carnielli}和\textit{M.E.Coniglio}，Log。日志。菲洛斯。30，第2号，187--226（2021；Zbl 1517.03039） 全文： DOI程序 arXiv公司
奥兰德利，尤金尼奥 非正规模态逻辑和道义逻辑的顺序计算和插值。 （英语） Zbl 1517.03018号 日志。日志。菲洛斯。 30，第1号，139-183（2021）.MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlandelli}，日志。日志。菲洛斯。30，编号1，139-183（2021；兹bl 1517.03018） 全文： DOI程序 arXiv公司
费德里科·佩洛斯 不相交逻辑。 （英语） Zbl 1517.03025号 日志。日志。菲洛斯。 30，第1号，109-137（2021）.MSC公司：03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{F.Pailos}，日志。日志。菲洛斯。30，编号1，109--137（2021；Zbl 1517.03025） 全文： DOI程序
马钦·伊扎克 用于改变知识的模态逻辑（mathsf{LEC}），用增长的语言表示。 （英语） Zbl 1486.03036号 日志。日志。菲洛斯。 30，编号1，39-59（2021）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Łyczak}，日志。日志。菲洛斯。30，编号1，39-59（2021；Zbl 1486.03036） 全文： DOI程序
贾里德·米尔森 刺激剂的可解演算。 （英语） Zbl 1517.03033号 日志。日志。菲洛斯。 30，编号1，3-37（2021）.MSC公司：03B70号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Millson}，日志。日志。菲洛斯。30，编号1，3--37（2021；Zbl 1517.03033） 全文： DOI程序 arXiv公司
托本·布吕纳 一阶错误可靠性测试中的错误回答：混合逻辑形式化。 （英语） Zbl 1478.03024号 日志。日志。菲洛斯。 29，第3期，415-445（2020年）.MSC公司：03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Braüner}，日志。日志。菲洛斯。29，第3号，415--445（2020；Zbl 1478.03024） 全文： DOI程序
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基 严格意义上的形式逻辑。语义和表格方法。 （英语） Zbl 1478.03038号 日志。日志。菲洛斯。 29，第3期，335-380（2020年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Jarmużek}和\textit{M.Klonowski}，Log。日志。菲洛斯。29，第3号，335--380（2020；Zbl 1478.03038） 全文： DOI程序
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 超连续S5演算的多格模拟。 （英语） Zbl 1458.03012号 日志。日志。菲洛斯。 28，第4期，683-730（2019）.MSC公司：03B45号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{Y.Petrukhin}，日志。日志。菲洛斯。28，第4号，683--730（2019；Zbl 1458.03012） 全文： DOI程序
谢尔盖·奥丁佐夫。;丹尼尔·斯科特;海因里希·万兴 连接词和模态逻辑的可定义性FDE公司. （英语） Zbl 1458.03015号 日志。日志。菲洛斯。 28，第4期，631-659（2019）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛S.P.Odintsov｝等人，日志。日志。菲洛斯。28，第4号，631--659（2019；Zbl 1458.03015） 全文： DOI程序
诺里希罗·卡米德 双经典连接逻辑及其模态扩展：删减、完备性和对偶性。 （英语） Zbl 1458.03013号 日志。日志。菲洛斯。 28，第3期，481-511（2019）.MSC公司：03B45号 03B50号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，日志。日志。菲洛斯。28，第3号，481--511（2019；Zbl 1458.03013） 全文： DOI程序
尼西姆·弗朗西兹 相关连接逻辑。 （英语） Zbl 1458.03019号 日志。日志。菲洛斯。 28，第3号，409-425（2019）.MSC公司：03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}，日志。日志。菲洛斯。28，第3号，409--425（2019；Zbl 1458.03019） 全文： DOI程序
Szmuc，Damian E。 次协调弱Kleene逻辑的认知解释。 （英语） Zbl 1452.03070号 日志。日志。菲洛斯。 28，第2期，277-330（2019）. 审核人：Albert Hoogewijs（根特） MSC公司：03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Szmuc}，日志。日志。菲洛斯。28，第2号，277--330（2019；Zbl 1452.03070） 全文： DOI程序
马吉德·阿里扎德;阿里·比巴克 直觉逻辑中稳定公式的注记。 （英语） 兹比尔1453.03001 日志。日志。菲洛斯。 28，第2期，209-222（2019）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alizadeh}和\textit{A.Bibak}，日志。日志。菲洛斯。28，第2号，209--222（2019；Zbl 1453.03001） 全文： DOI程序
尼西姆·弗朗西兹 隐含消除规则需要一个小前提吗？ （英语） Zbl 1456.03083号 日志。日志。菲洛斯。 27，第3号，351-373（2018）.MSC公司：03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}，日志。日志。菲洛斯。27，第3号，351--373（2018；Zbl 1456.03083） 全文： DOI程序
谢尔盖·德罗比舍维奇 关于显示负面模式。 （英语） Zbl 1456.03036号 日志。日志。菲洛斯。 27，第2期，161-192（2018）.MSC公司：03B45号 03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{S.Drobyshevich}，日志。日志。菲洛斯。27，第2号，161--192（2018；Zbl 1456.03036） 全文： DOI程序
雅罗斯拉夫·彼得鲁金 四值正则逻辑和单调逻辑的自然演绎。 （英语） Zbl 1456.03048号 日志。日志。菲洛斯。 27，第1号，53-66（2018）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin}，日志。日志。菲洛斯。27，第1号，53--66（2018；Zbl 1456.03048） 全文： DOI程序
丹尼尔·奇菲;Fabien Schang先生 合理的举证责任。断言和假设。 （英语） Zbl 1417.03136号 日志。日志。菲洛斯。 26，第4号，509-530（2017）.MSC公司：03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiffi}和\textit{F.Schang}，日志。日志。菲洛斯。26，第4号，509--530（2017；Zbl 1417.03136） 全文： DOI程序
吉安路易吉·贝林;马西米利亚诺·卡拉拉;丹尼尔·奇菲;亚历山德罗·曼蒂 勘误表与“双教授主义的语用和对话解释。I”一致。 （英语） Zbl 1364.03019号 日志。日志。菲洛斯。 25，第2期，225-233（2016）.MSC公司：03B20型 03A05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bellin}等人，《日志》。日志。菲洛斯。25，第2号，225--233（2016；Zbl 1364.03019） 全文： DOI程序
文森特·德高基尔 部分和准一致的三值逻辑。 （英语） Zbl 1402.03031号 日志。日志。菲洛斯。 25，第2期，143-171（2016）. 审核人：Albert Hoogewijs（根特） MSC公司：03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{V.Degauquier}，日志。日志。菲洛斯。25，第2号，143--171（2016；Zbl 1402.03031） 全文： DOI程序
安德烈·因德泽扎克（Andrzej Indrzejczak） 混合逻辑的简单截消证明。 （英语） Zbl 1377.03051号 日志。日志。菲洛斯。 25，第2期，129-141（2016）. 审核人：Graham E.Leigh（哥德堡） MSC公司：05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak}，日志。日志。菲洛斯。25，第2号，129--141（2016；Zbl 1377.03051） 全文： DOI程序
谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。 Belnapian模态逻辑的格：特殊扩展和对应。 （英语） Zbl 1396.03034号 日志。日志。菲洛斯。 25，第1期，3-33页（2016年）.MSC公司：03B45号 03B53号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}和\textit{S.O.Speranski}，日志。日志。菲洛斯。25，第1号，第3--33号（2016；Zbl 1396.03034） 全文： DOI程序
拉斯穆森，Mattias Skipper 动态认知逻辑与逻辑全知。 （英语） Zbl 1375.03018号 日志。日志。菲洛斯。 24，第3期，377-399（2015）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit｛M.S.Rasmussen｝，日志。日志。菲洛斯。24，第3号，377--399（2015；Zbl 1375.03018） 全文： DOI程序
亚历克斯·西特金 推理规则的元逻辑：语法。 （英语） Zbl 1375.03015号 日志。日志。菲洛斯。 24，第3期，313-337（2015）.MSC公司：03B22号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin}，日志。日志。菲洛斯。24，第3号，313--337（2015；Zbl 1375.03015） 全文： DOI程序 arXiv公司
卡贾·贝德纳斯卡;安德烈·因德泽扎克（Andrzej Indrzejczak） S5的超连续结石：切割消除方法。 （英语） Zbl 1372.03037号 日志。日志。菲洛斯。 24，第3期，277-311（2015）.MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Bednarska}和\textit{A.Indrzejczak}，日志。日志。菲洛斯。24，第3号，277--311（2015；Zbl 1372.03037） 全文： DOI程序
吉安路易吉·贝林;马西米利亚诺·卡拉拉;丹尼尔·奇菲;亚历山德罗·曼蒂 双教授主义的实用主义和对话式解释。一、。 （英语） 兹伯利1364.03018 日志。日志。菲洛斯。 23，第4号，449-480（2014）; 勘误表同上25，第2号，225–233（2016）。MSC公司：03B20型 03A05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bellin}等人，《日志》。日志。菲洛斯。23，第449-480号（2014年；兹bl 1364.03018） 全文： DOI程序