Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Gaia Belardinelli, Rasmus K Rendsvig

Ngôn ngữ: eng

Ký hiệu phân loại: 003.52 Perception theory

Thông tin xuất bản: 2020

Mô tả vật lý:

Bộ sưu tập: Báo, Tạp chí

ID: 165874

Comment: 18 pages, 2 figures, proceedings of DaLi conference 2020Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS' results.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 36225755 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH