Neighborhood Semantics For Modal Logic

Thảo luận trong 'Học tập' bởi eb2025, 26/5/2024.

  1. eb2025

    eb2025 Thành viên kỳ cựu

    Tham gia:
    20/5/2024
    Bài viết:
    6,001
    Đã được thích:
    0
    Điểm thành tích:
    86
    Click Here to Download: https://ouo.io/l6nWSh4
    [​IMG]
    Neighborhood Semantics for Modal Logic
    By: Eric Pacuit
    Publisher:
    Springer
    Print ISBN: 9783319671482, 3319671480
    eText ISBN: 9783319671499, 3319671499
    Copyright year: 2017
    Format: EPUB
    Available from $ 34.99 USD
    SKU 9783319671499
    Provides both the relevant technical background and an overview of the key applications of neighborhood semantics in modal logic Introduces the main techniques for reasoning about neighborhood structures with a modal language Highlights the most convincing applications of neighborhood semantics for modal logic Includes applications such as coalitional logic, game logic, dynamic logics of belief and evidence, subset space logic, and first-order extensions Explains the precise relationship between neighborhood models and relational models, topological models, plausibility models, and (two-sorted) first-order logic
     

    Xem thêm các chủ đề tạo bởi eb2025
    Đang tải...


Chia sẻ trang này