努尔，K。;A.努尔。 命题混合逻辑：其语法和语义。 （英语） Zbl 1181.03029号 J.应用。非类别。日志。 13，第3-4、377-390号（2003年）.MSC公司：03B62号 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nour}和\textit{A.Nour}，J.Appl。非类别。日志。13，编号3--4，377--390（2003；Zbl 1181.03029） 全文： DOI程序 arXiv公司 哈尔
斯科沃尔佐夫，D。 中间命题逻辑谓词扩展的不完全性结果。 （英语） Zbl 1115.03019号 Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。461-474 (2003). 审核人：穆罕默德·阿德希尔（德黑兰） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版。461--474（2003年；Zbl 1115.03019）
雅沃斯基，R.E。 关于证明上有量词的可证明逻辑的prenex片段。 （英语。俄文原件） Zbl 1079.03054号 程序。Steklov Inst.数学。242, 112-124 (2003); 翻译自Tr.Mat.Inst.Im。V.A.Steklova，第242页，第123-135页（2003年）。MSC公司：03层45 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Yavorskij}，in：Matematicheskaya logika i代数。斯博尼克州。K 100-letiyu so dnya rozhdeniya akademika Petra Sergevicha Novikova。莫斯科：Maik Nauka/Interperiodika。112-124（2003；Zbl 1079.03054）；翻译自Tr.Mat.Inst.Im。V.A.Steklova斯特科洛娃242、123--135（2003）
乔瓦娜·科尔西 BF、CBF和Lewis语义。 （英语） 邮编1077.03008 日志。分析。，努夫。Sér。 46，编号181，103-122（2003）. 审核人：瓦伦丁·F·戈兰科（约翰内斯堡） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Corsi}，日志。分析。，努夫。Sér。46，第181、103--122号（2003；Zbl 1077.03008）
陈图云;王德刚 模糊模态命题逻辑的语义。 （中文。英文摘要） Zbl 1060.03503号 J.辽宁省标准。大学，自然科学。 26，第4期，341-343（2003）.MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}和\textit{D.Wang}，J.辽宁常模。大学，自然科学。26，第4号，341--343（2003；Zbl 1060.03503）
佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 带有概率运算符的直觉逻辑。 （英语） Zbl 1048.03020号 出版物。数学研究所。，努夫。Sér。 73(87), 31-38 (2003). 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B48 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Marković}等人，出版物。数学研究所。，努夫。Sér。73（87），31-38（2003；Zbl 1048.03020） 全文： DOI程序 欧洲DML
Hasuo，一郎;鹿岛，良 具有强否定的一阶构造逻辑的Kripke完备性。 （英语） Zbl 1048.03022号 日志。J.IGPL公司 11，第6期，615-646（2003）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B60号 03B20型 03B55号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}和\textit{R.Kashima}，日志。J.IGPL 11，第6号，615--646（2003；Zbl 1048.03022） 全文： DOI程序 链接
罗伯特·戈德布拉特 数学模态逻辑：对其演变的看法。 （英语） 兹比尔1041.03015 J.应用。日志。 1，编号5-6，309-392（2003）. 审核人：Valentin F.Goranko（约翰内斯堡） MSC公司：03B45号 03-03 01年6月 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}，J.应用。日志。1、编号5--6309--392（2003；Zbl 1041.03015） 全文： DOI程序
维奥里卡Sofrone-Stokkerman 表示定理和非经典逻辑的语义，以及在自动定理证明中的应用。 （英语） 兹伯利1042.03013 Fitting，Melvin（编辑）等人，《超越二：多值逻辑的理论和应用》。海德堡：Physica-Verlag（ISBN 3-7908-1541-1/pbk）。模糊软计算研究。114, 59-100 (2003). 审核人：奈尔·扎莫夫（喀山） MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans}，Stud.模糊软计算。114、59-100（2003；Zbl 1042.03013）
佛朗哥·蒙塔格纳;洛伦佐·萨切蒂 多值逻辑的克里普克式语义。 （英语） Zbl 1035.03010号 数学。日志。问：。 49，第6期，629-641（2003）.MSC公司：03B50号 03B47型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{L.Sacchetti}，数学。日志。企49、6号、629--641（2003；Zbl 1035.03010） 全文： DOI程序
吉安路易吉·贝林;库尔特·兰奥尔特 语用学直觉逻辑的克里普克型语义学。 （英语） Zbl 1043.03025号 J.日志。计算。 13，第5期，755-775（2003）. 审核人：H.C.M.de Swart（蒂尔堡） MSC公司：03B60号 03B47型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bellin}和\textit{K.Ranalter}，J.Log。计算。13，第5号，755--775（2003；Zbl 1043.03025） 全文： DOI程序
约翰·范·本特姆;古拉姆·贝扎尼什维利;梅·盖尔克 模态逻辑中的欧几里德层次。 （英语） Zbl 1034.03020号 螺柱日志。 75，第3期，327-344（2003）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛J.van Benthem｝等人，《螺柱日志》。75，第3号，327--344（2003；Zbl 1034.03020） 全文： DOI程序
德国、贤治 扩展量子逻辑。 （英语） Zbl 1025.03015号 J.菲洛斯。日志。 32，第5期，549-563（2003）.MSC公司：03B45号 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.德国}，J.菲洛斯。日志。32，第5号，549--563（2003；Zbl 1025.03015） 全文： DOI程序
铃木，Nobu-Yuki 超直觉谓词逻辑中的Hallén-完备性。 （英语） Zbl 1016.03022号 螺柱日志。 73，第1期，113-130（2003）.MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木}，Stud.Log。73，第1号，113--130（2003；Zbl 1016.03022） 全文： DOI程序
尼古拉·奥利维蒂 表aux表示Łukasiewicz无穷值逻辑。 （英语） Zbl 1015.03032号 螺柱日志。 73，第1期，第81-111页（2003年）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.Olivetti}，螺柱日志。73，编号1，81--111（2003；Zbl 1015.03032） 全文： DOI程序