E-bok > Facklitteratur > Filosofi / religion > Filosofi - allmänt > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic

Stöd

Omslag till 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

Språk Engelska ● Formatera PDF ● ISBN 9789401727983 ● Redaktör Heinrich Wansing ● Utgivare Springer Netherlands ● Publicerad 2013 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 4698804 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Heinrich Wansing

46 460 E-böcker i denna kategori

Omslag till Michael (Western Sydney University, Australia) Head: Democracy, Protest and the Law

Michael (Western Sydney University, Australia) Head: Democracy, Protest and the Law

In a new era of rising protests, social unrest and political discontent globally, especially over climate change, war dangers, austerity measures and social inequality, the right to protest is a crit …

Omslag till 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 …

Omslag till 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 …

Omslag till Simona (Politecnico di Milano, Italy) Chiodo: Predicted Humans

Simona (Politecnico di Milano, Italy) Chiodo: Predicted Humans

Predicting our future as individuals is central to the role of much emerging technology, from hiring algorithms that predict our professional success (or failure) to biomarkers that predict how long …

Omslag till 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 …

Omslag till Edgar Illas: The Magma of War

Edgar Illas: The Magma of War

War, from the conflicts in the Middle East and Russia/Ukraine to Mexican narco-violence, from neocolonial land grabs in the Global South to racial, border, health, and climate crises all over the pla …

Omslag till 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 …

Omslag till Jack Lyons & Barry Ward: The New Critical Thinking

Jack Lyons & Barry Ward: The New Critical Thinking

This book aims to improve real-world critical thinking. Traditional critical thinking texts neglect two crucial facts. First, as psychologists have shown, many of our mistakes are caused not by fau …

Omslag till Wenchao Zhang: Chinese Conceptions of Democratic Education

Wenchao Zhang: Chinese Conceptions of Democratic Education

This book draws on a rich ethnographic study to examine Chinese democracy and its practices in democratic education. The first book to interrogate practices of democratic education from an insider …

Omslag till 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 …

Nästa sida >>>