Catalog > Saggistica > Filosofia / Religione > Filosofia - Generale > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9789401727983 ● Editore Heinrich Wansing ● Casa editrice Springer Netherlands ● Pubblicato 2013 ● Scaricabile 3 volte ● Moneta EUR ● ID 4698804 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Heinrich Wansing

49.388 Ebook in questa categoria

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>