Catalog > Non-Fiction > Philosophy / Religion > Philosophy - General > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Support

Cover of 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.

€166.48

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9789401727983 ● Editor Heinrich Wansing ● Publisher Springer Netherlands ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 4698804 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Heinrich Wansing

49,310 Ebooks in this category

Cover of Oliver Feltham: Anatomy of Failure

Oliver Feltham: Anatomy of Failure

Modern liberalism begins in the forgetting of the English Revolution. Anatomy of Failure seeks to right that wrong by exploring the concept of political action, playing its history against its philos …

Cover of Robert (University of Birmingham, UK) Beckford: Jesus Dub

Robert (University of Birmingham, UK) Beckford: Jesus Dub

Robert Beckford explores the dialogue between two central institutions in African Caribbean life: the church and the dancehall. He highlights how Dub – one of the central features of dancehall cultur …

Cover of N. I. Bukharin & A. M. Deborin: Marxism and Modern Thought

N. I. Bukharin & A. M. Deborin: Marxism and Modern Thought

First published in English in 1935, this is a vital and stimulating critical appraisal of contemporary thought in the post-World War One era. Written by a selection of leading Marxist thinkers includ …

Cover of Genevieve Nootens: Popular Sovereignty in the West

Genevieve Nootens: Popular Sovereignty in the West

This book is an inquiry into the history of the idea of popular sovereignty as it has been shaped by the struggles between rulers and ruled. It builds on the notion that a thorough analysis of how th …

Cover of Fabrizio Amerini: Aquinas on the Beginning and End of Human Life

Fabrizio Amerini: Aquinas on the Beginning and End of Human Life

Though often invoked by pro-life supporters, Thomas Aquinas in fact held that human life begins after conception, not at the moment of union. But in following the twists and turns of Aquinas thinking …

Cover of Robert J Fogelin: Evidence and Meaning

Robert J Fogelin: Evidence and Meaning

Originally published in 1967. This is an examination of warrant statements – statements which indicated something about the grounds on behalf of some further judgement, choice or action. The first pa …

Cover of Dr. Pascal Chabot: The Philosophy of Simondon

Dr. Pascal Chabot: The Philosophy of Simondon

The last two decades have seen a massive increase in the scholarly interest in technology, and have provoked new lines of thought in philosophy, sociology and cultural studies. Gilbert Simondon (1924 …

Cover of Francis X.J. Coleman: Neither Angel nor Beast

Francis X.J. Coleman: Neither Angel nor Beast

Blaise Pascal began as a mathematical prodigy, developed into a physicist and inventor, and had become by the end of his life in 1662 a profound religious thinker. As a philosopher, he was most convi …

Cover of Liza Ireni-Saban & Alberto (Tel-Aviv University, Israel) Spektorowski: Politics of Eugenics

Liza Ireni-Saban & Alberto (Tel-Aviv University, Israel) Spektorowski: Politics of Eugenics

This book analyzes whether the ‘new debate on genetics’ owes a debt to eugenic practices by welfare democracies of 1930s and 1940s. More specifically, the question is whether precisely the same ‘euge …

Cover of Aisling (University College, Cork, Ireland) Parkes: Children and International Human Rights Law

Aisling (University College, Cork, Ireland) Parkes: Children and International Human Rights Law

The United Nations Convention on the Rights of the Child 1989 is one of the most highly ratified human rights treaties in the world, with 192 states currently signed up to it. Article Twelve is funda …