Kuniaki Tamura 混合微积分的一个小模型定理。 （英语） Zbl 1336.03026号 J.日志。计算。 25，第2期，405-441（2015）. 摘要：在本文中，我们证明了混合演算，即在混合逻辑语言中用名词和满足算子扩展的模态演算，具有如下小模型性质：每个可满足公式都满足于一个模型，该模型的大小由公式大小上的某个函数限定。然后利用所获得的模型大小的界来获得这个形式系统的有限、健全和完整的公理化。 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 关键词：混合（mu）-演算;小模型定理 PDF格式BibTeX公司 XML格式引用 \textit{K.Tamura}，J.Log。计算。25，第2号，405--441（2015；Zbl 1336.03026） 全文： 内政部