The consistency of syntactical treatments of knowledge1(How to compile quantificational modal logics into classical FOL)
作者:
Jim des Rivières,
Hector J. Levesque,
期刊:
Computational Intelligence
(WILEY Available online 1988)
卷期:
Volume 4,
issue 1
页码: 31-41
ISSN:0824-7935
年代: 1988
DOI:10.1111/j.1467-8640.1988.tb00088.x
出版商: Blackwell Publishing Ltd
关键词: syntactical predicates;modal logic;theorem proving;belief logics;prédicats syntaxiques;logique modale;démonstration de théorèmes;logique des croyances
数据来源: WILEY
摘要:
The relative expressive power of a sentential operator □α is compared to that of a syntactical predicateL(‘α’) in the setting of first‐order logics. Despite well‐known results by Montague and by Thomason that claim otherwise, any of the so‐called “modal” logics of knowledge and belief can be compiled into classical first‐order logics that have a corresponding predicate on sentences. Moreover, through the use of a partial truth predicate, the standard modal axiom schemata can be translated into single sentences, making it possible to use conventional first‐order logic theorem provers to directly derive results in a wide
点击下载:
PDF
(1252KB)
返 回