Sách điện tử > Phi hư cấu > Triết học / Tôn giáo > Triết học - Tổng quát > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic

Ủng hộ

Bìa của 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

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9789401727983 ● Biên tập viên Heinrich Wansing ● Nhà xuất bản Springer Netherlands ● Được phát hành 2013 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 4698804 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Heinrich Wansing

46.563 Ebooks trong thể loại này

Bìa của Andrea (University of Padua, Italy) Pin & Brett G. Scharffs: Human Dignity, Judicial Reasoning, and the Law

Andrea (University of Padua, Italy) Pin & Brett G. Scharffs: Human Dignity, Judicial Reasoning, and the Law

This volume explores how national and international human rights courts interpret and apply human dignity. The book tracks the increasing deployment of the concept of human dignity within national an …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của Engin (Queen Mary University of London (QMUL), UK) Isin: Citizenship

Engin (Queen Mary University of London (QMUL), UK) Isin: Citizenship

This book outlines a critical theory of citizenship, with an emphasis on how citizenship institutes power relations and organises the rights and obligations of those who become its subjects. Whether …

Bìa của Douglas Grummons: Ten Thousand Waves

Douglas Grummons: Ten Thousand Waves

Bìa của Michael, Sr Sweigart: "Rapid Response

Michael, Sr Sweigart: "Rapid Response

Trang tiếp theo >>>