电子书 > 非小说 > 哲学/宗教 > 哲学 - 将军 > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

支持

的封面 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9789401727983 ● 编辑 Heinrich Wansing ● 出版者 Springer Netherlands ● 发布时间 2013 ● 下载 3 时 ● 货币 EUR ● ID 4698804 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Heinrich Wansing

49,380 此类电子书

的封面 Dr Leah Kalmanson: Cross-Cultural Existentialism

Dr Leah Kalmanson: Cross-Cultural Existentialism

Engaging in existential discourse beyond the European tradition, this book turns to Asian philosophies to reassess vital questions of life”s purpose, death”s imminence, and our capacity for living …

的封面 Elliott Sober: Core Questions in Philosophy

Elliott Sober: Core Questions in Philosophy

Writtten in an engaging lecture-style format, this 8th edition of Core Questions in Philosophy shows students how philosophy is best used to evaluate many different kinds of arguments and to construc …

的封面 Rainer Forst: Justice, Democracy and the Right to Justification

Rainer Forst: Justice, Democracy and the Right to Justification

This book is available as open access through the Bloomsbury Open Access programme and is available on www.bloomsburycollections.com. Over the past 15 years, Rainer Forst has developed a fundamental …

的封面 Anthony Hatzimoysis: The Philosophy of Sartre

Anthony Hatzimoysis: The Philosophy of Sartre

Playwright, novelist, political theorist, literary critic and philosopher, Jean-Paul Sartre (1905-80) remains an iconic figure. This book examines his philosophical ideas and methods. It is an introd …

的封面 Terence Penelhum: Butler-Arg Philosophers

Terence Penelhum: Butler-Arg Philosophers

First Published in 1999. The purpose of this series is to provide a contemporary assessment and history of the-entire course of philosophical thought. Each book constitutes a detailed, critical intro …

的封面 Kirsty Horsey: Revisiting the Regulation of Human Fertilisation and Embryology

Kirsty Horsey: Revisiting the Regulation of Human Fertilisation and Embryology

The Human Fertilisation and Embryology Act 2008 was a major update to the UK’s laws on the use and regulation of reproductive technology and assisted reproduction. Since the enactment of the new law, …

的封面 Cynthia A. Freeland & Thomas E. Wartenberg: Philosophy and Film

Cynthia A. Freeland & Thomas E. Wartenberg: Philosophy and Film

Philosophy and Film moves from broad theoretical reflections on film as a medium to concrete examinations of individual films. …

的封面 Aimee van Wynsberghe: Healthcare Robots

Aimee van Wynsberghe: Healthcare Robots

This study deals with an underexplored area of the emerging technologies debate: robotics in the healthcare setting. The author explores the role of care and develops a value-sensitive ethical framew …

的封面 Max Deutscher: Judgment After Arendt

Max Deutscher: Judgment After Arendt

Judgment After Arendt is both the first full-length study of Hannah Arendt”s The Life of the Mind and, at the same time, a philosophical work on the core concepts of thinking, willing and judging. C …

的封面 David Ashford: Autarchies

David Ashford: Autarchies

The philosophy of Ayn Rand has had a role equal or greater than that of Milton Friedman or F.A. Hayek in shaping the contemporary neo-liberal consensus. Its impact was powerful on architects of Reaga …