Multi-Dimensional Modal Logic pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Marx, Maarten; Marx; Marx, M.

1996-11

252

$ 236.17

9780792343455

圖書標籤: nemlophics

喜歡 Multi-Dimensional Modal Logic 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-07-01

Multi-Dimensional Modal Logic epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Multi-Dimensional Modal Logic pdf epub mobi txt 電子書下載 2024

圖書描述

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

Multi-Dimensional Modal Logic 下載 mobi epub pdf txt 電子書