Catalog > No ficción > Filosofía / Religión > Filosofía - General > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9789401727983 ● Editor Heinrich Wansing ● Editorial Springer Netherlands ● Publicado 2013 ● Descargable 3 veces ● Divisa EUR ● ID 4698804 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Heinrich Wansing

49.388 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

siguiente página >>>