Catalog > Nonfiction > Philosophie / Religion > Philosophie générale > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Support

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9789401727983 ● Éditeur Heinrich Wansing ● Maison d’édition Springer Netherlands ● Publié 2013 ● Téléchargeable 3 fois ● Devise EUR ● ID 4698804 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Heinrich Wansing

49 388 Ebooks dans cette catégorie

Couverture du Robert Beshara: Critical Psychology Praxis

Robert Beshara: Critical Psychology Praxis

This collection of chapters advances critical psychology by incorporating praxis (theory and practice) and decolonial streams of thought. They are united around a theme of psychosocial non-alignment …

Couverture du Dr Hartmut von Sass: A Philosophy of Comparisons

Dr Hartmut von Sass: A Philosophy of Comparisons

Comparing is one of the most essential practices, in our everyday life as well as in science and humanities. In this in-depth philosophical analysis of the structure, practice and ethics of comparati …

Couverture du Christopher Kul-Want: Introducing Aesthetics

Christopher Kul-Want: Introducing Aesthetics

What is beauty, and what is truth? These are some of the questions which aesthetics tries to answer. In our everyday life, we talk about the »aesthetics » of an artwork or a piece of design. But aes …

Couverture du Kevin Schilbrack: Thinking Through Myths

Kevin Schilbrack: Thinking Through Myths

Eight outstanding essays, from leading academics, deconstruct perennial problems of rationality, imagination and narrative to trace the influence of myth in our own beliefs, origins, and potential fu …

Couverture du Dana (University of Notre Dame, USA) Villa: Arendt

Dana (University of Notre Dame, USA) Villa: Arendt

Hannah Arendt (1906–1975) was a philosopher and political theorist of astonishing range and originality and one of the leading thinkers of the twentieth century. A former student of Martin Heidegger …

Couverture du Piers Benn: Commitment

Piers Benn: Commitment

Most of us care about certain people and things, and some of these concerns become personal commitments, involving our values, our relationships, our work and our religious or political stances. But …

Couverture du John Rajchman: The Identity in Question

John Rajchman: The Identity in Question

As virulent nationalism increases in Europe and th debate surrounding political correctness continues to rage in the US, this volume provides a theoretical analysis of these events and the questions …

Couverture du Tod Sloan: Damaged Life

Tod Sloan: Damaged Life

What are the psychological problems caused by modernization? How can we minimize its negative effects? Modernization has brought many material benefits to us, yet we are constantly told how unhappy w …

Couverture du Mark Hulliung: The Autocritique of Enlightenment

Mark Hulliung: The Autocritique of Enlightenment

Of all the critiques of the Enlightenment, the most telling may be found in the life and writings of Jean-Jacques Rousseau. This searching, long overlooked auto critique receives its first full treat …

Couverture du A. James Gregor: Interpretations of Fascism

A. James Gregor: Interpretations of Fascism

This volume constitutes a survey of social science efforts to explain the fascist phenomenon. Attempts to adequately interpret fascism have involved an inordinate number of social researchers and his …

Page suivante >>>