E-bok > Facklitteratur > Filosofi / religion > Filosofi - allmänt > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera PDF ● ISBN 9789401727983 ● Redaktör Heinrich Wansing ● Utgivare Springer Netherlands ● Publicerad 2013 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 4698804 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Heinrich Wansing

49 369 E-böcker i denna kategori

Omslag till Paul (Manchester Metropolitan University, UK) Giladi: Responses to Naturalism

Paul (Manchester Metropolitan University, UK) Giladi: Responses to Naturalism

This volume offers critical responses to philosophical naturalism from the perspectives of four different yet fundamentally interconnected philosophical traditions: Kantian idealism, Hegelian idealis …

Omslag till Andrew (Independent Scholar, UK) Spira: Simulated Selves

Andrew (Independent Scholar, UK) Spira: Simulated Selves

The notion of a personal self took centuries to evolve, reaching the pinnacle of autonomy with Descartes” ”I think, therefore I am” in the 17th century. This ”personalisation” of identity thrive …

Omslag till Sandor B. Brent: Psychological and Social Structures

Sandor B. Brent: Psychological and Social Structures

Originally published in 1984, this work is organised in three parts. Each part consists of several related chapters. Each chapter explores the assumptions and implications of a closely related group …

Omslag till Meghan (Davidson College, USA) Griffith: Free Will: The Basics

Meghan (Davidson College, USA) Griffith: Free Will: The Basics

The issue of whether humans are free to make their own decisions has long been debated, and it continues to be controversial today. In Free Will: The Basics Meghan Griffith provides a clear and acces …

Omslag till Anil Rajimwale: Materialism and Dialectics in a Post-classical World

Anil Rajimwale: Materialism and Dialectics in a Post-classical World

Evolution of the concepts of atom and atomism, and the impact of electromagnetism on our worldview, is the object of our study in this book. Electromagnetism is the key link in the transition from cl …

Omslag till Dr Daniele Moyal-Sharrock: Certainty in Action

Dr Daniele Moyal-Sharrock: Certainty in Action

In Certainty in Action, Danièle Moyal-Sharrock describes how her encounter with Wittgenstein overturned her previous assumptions that the mind is a product of brain activity and that thought, conscio …

Omslag till Rick Searle & Jeffrey White: Rethinking Machine Ethics in the Age of Ubiquitous Technology

Rick Searle & Jeffrey White: Rethinking Machine Ethics in the Age of Ubiquitous Technology

Omslag till Nathan Eric Dickman: Philosophical Hermeneutics and the Priority of Questions in Religions

Nathan Eric Dickman: Philosophical Hermeneutics and the Priority of Questions in Religions

Buddhas, gods, prophets and oracles are often depicted as asking questions. But what are we to understand when Jesus asks “Who do you say that I am?”, or Mazu, the Classical Zen master asks, “Why do …

Omslag till Ian M. Crystal: Self-Intellection and its Epistemological Origins in Ancient Greek Thought

Ian M. Crystal: Self-Intellection and its Epistemological Origins in Ancient Greek Thought

Can the intellect or the intellectual faculty be its own object of thought, or can it not think or apprehend itself? This book explores the ancient treatments of the question of self-intellection – a …

Omslag till Richard L. Abel: How Autocrats Attack Expertise

Richard L. Abel: How Autocrats Attack Expertise

Chronicling and analyzing resistance to the threat that autocracy poses to American liberal democracy, this book provides the definitive account of Trump’s assault on truth and his populist attacks o …

Nästa sida >>>