动态逻辑AUL中的秘密宣告

动态逻辑AUL中的秘密宣告

AUL (Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑.AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响.但是,在AUL中信息对所有主体都是公开的,因此AUL无法刻画在秘密宣告的情况下主体信念状态的变化.本论文在AUL的基础上进行扩充,得到一个新的动态逻辑系统PAUL(Private Arrow Update Logic).所有基于事实的宣告都可以被PAUL刻画,无论该宣告是公开的还是秘密的.同时,本论文还给出了PAUL的语义图,并证明了PAUL是可判定的....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:逻辑学研究 2020, Vol.13 (6), p.63-88
1. Verfasser: 李延军
Format: Artikel
Sprache:chi
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:AUL (Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑.AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响.但是,在AUL中信息对所有主体都是公开的,因此AUL无法刻画在秘密宣告的情况下主体信念状态的变化.本论文在AUL的基础上进行扩充,得到一个新的动态逻辑系统PAUL(Private Arrow Update Logic).所有基于事实的宣告都可以被PAUL刻画,无论该宣告是公开的还是秘密的.同时,本论文还给出了PAUL的语义图,并证明了PAUL是可判定的.
ISSN:1674-3202