Catalog > Literatura faktu > Filozofia / religia > Filozofia - generał > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Wsparcie

Pokrywa 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

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9789401727983 ● Redaktor Heinrich Wansing ● Wydawca Springer Netherlands ● Opublikowany 2013 ● Do pobrania 3 czasy ● Waluta EUR ● ID 4698804 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Heinrich Wansing

49 388 Ebooki w tej kategorii

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Następna strona >>>