Sách điện tử > Phi hư cấu > Triết học / Tôn giáo > Triết học - Tổng quát > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9789401727983 ● Biên tập viên Heinrich Wansing ● Nhà xuất bản Springer Netherlands ● Được phát hành 2013 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 4698804 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Heinrich Wansing

49.388 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>