电子书 > 非小说 > 哲学/宗教 > 哲学 - 将军 > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic

支持

的封面 Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

€162.23

语言英语 ● 格式 PDF ● ISBN 9789401727983 ● 编辑 Heinrich Wansing ● 出版者 Springer Netherlands ● 发布时间 2013 ● 下载 3 时 ● 货币 EUR ● ID 4698804 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Heinrich Wansing

46,563 此类电子书

的封面 Linda R. Quennec: Depth Psychology, Cult Survivors, and the Role of the Daimon

Linda R. Quennec: Depth Psychology, Cult Survivors, and the Role of the Daimon

This book explores the possibilities that exist for navigating out of and away from multiple levels of oppression through memoir-based research. It considers how those raised in oppressive, high-dema …

的封面 Michael (Rosa Luxemburg Foundation, Germany) Brie: Beyond Liberalism and Communism

Michael (Rosa Luxemburg Foundation, Germany) Brie: Beyond Liberalism and Communism

Beyond Liberalism and Communism: Socialist Theory and the Chinese Case presents a new conceptual framework of socialism and applies it to the study of socialist development in China, shedding new lig …

的封面 Andrew M. (Yale-NUS College, Singapore) Bailey & Bradley (University of Wyoming in Laramie, USA) Rettler: Resistance Money

Andrew M. (Yale-NUS College, Singapore) Bailey & Bradley (University of Wyoming in Laramie, USA) Rettler: Resistance Money

Bitcoin isn’t just for criminals, speculators, or wealthy Silicon Valley entrepreneurs – despite what the headlines say. In an imperfect world of rampant inflation, creeping authoritarianism, surveil …

的封面 Michael Bernhard & Amie (University of Florida, USA) Kreppel: Still the Age of Populism?

Michael Bernhard & Amie (University of Florida, USA) Kreppel: Still the Age of Populism?

Still the Age of Populism investigates current conceptions of populism and its relevance across the globe. Using contextualized case studies, cross-national comparisons, and theoretical interventions …

的封面 Richard Winfield: Systematic Aesthetics

Richard Winfield: Systematic Aesthetics

First published in 1995, this book aims at rehabilitating systematic aesthetics. To this end, it attempts to show how metaphysical, transcendental, and systematic aesthetics comprise the fundamental …

的封面 Mariusz Baranowski & Rafal Drozdowski: Sociological Approach to Commodification

Mariusz Baranowski & Rafal Drozdowski: Sociological Approach to Commodification

This book analyses the processes of commodification and decommodification which have wrought changes in Polish society since 1945. Examining the case of Poland, this book also explores comparisons to …

的封面 Clark Strand: Waking the Buddha

Clark Strand: Waking the Buddha

Is there more to Buddhism than sitting in silent meditation? Is modern Buddhism relevant to the problems of daily life? Does it empower individuals to transform their lives? Or has Buddhism become to …

的封面 Rosann M. Catalano & Chrostopher M. Leighton: Irreconcilable Differences? A Learning Resource For Jews And Christians

Rosann M. Catalano & Chrostopher M. Leighton: Irreconcilable Differences? A Learning Resource For Jews And Christians

Written by Jewish and Christian educators for use by college and adult learners, this volume explores eight basic questions that lie at the core of both traditions and that can serve as a bridge for …

的封面 Eugene Heath & Byron Kaldis: The Routledge Companion to Business Ethics

Eugene Heath & Byron Kaldis: The Routledge Companion to Business Ethics

The field of business ethics continues to expand intellectually and geographically. During the past five decades, scholars have developed and deepened their inquiries into the ethics of commercial an …

的封面 Marjorie Clay: Knowledge And Skepticism

Marjorie Clay: Knowledge And Skepticism

This book presents the characteristic of philosophical writing in the theory of knowledge covering the major themes: skepticism, externalism, reliabilism, probability, and justification. It also …