本文關鍵詞：多元模態(tài)邏輯中的范本特姆—羅森定理

  更多相關文章： 范本特姆—羅森定理 多元模態(tài)邏輯 有限模型論

【摘要】：證明了在多元模態(tài)邏輯中范本特姆—羅森定理仍然成立,即:無論在經(jīng)典或有限模型論意義下,一個量詞深度為n的一階公式在多元互模擬關系下保持當且僅當它邏輯等價于一個模態(tài)詞深度小于2n的多元模態(tài)公式.
【作者單位】： 西南大學計算機與信息科學學院;西南大學邏輯與智能研究中心;
【關鍵詞】： 范本特姆—羅森定理 多元模態(tài)邏輯 有限模型論
【基金】：國家自然科學基金資助項目(61003203) 重慶市人文社會科學重點研究基地項目資助(09SKB35) 中央高校基本科研業(yè)務費專項資金資助(XDJK2014C040)
【分類號】：B81-0
【正文快照】： 在經(jīng)典模型論研究中,很多重要工具(包括緊致性和超積)都離不開無限模型.但在實際應用中,往往有限模型才是真正被關注的對象.譬如在數(shù)據(jù)庫理論中,由于計算機存儲容量的限制,所有數(shù)據(jù)庫都只能包含有限容量的數(shù)據(jù).又如,人工智能領域的很多問題被限制在有限論域中考慮.這些需求催

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 楊本娟;孫萍;;多元模態(tài)邏輯在有限模型語義下的■os-Tarski定理[J];貴州師范大學學報(自然科學版);2009年03期

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 李文江;基于格蘊涵代數(shù)的廣義格值模態(tài)邏輯及其歸結自動推理的研究[D];西南交通大學;2002年

，

本文編號：614995