Catalog > Non-fictie > Filosofie / religie > Filosofie - algemeen > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic [PDF ebook]

Ondersteuning

Hoes van 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

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9789401727983 ● Editor Heinrich Wansing ● Uitgeverij Springer Netherlands ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 4698804 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Heinrich Wansing

49.310 E-boeken in deze categorie

Hoes van Vinod Acharya & Ryan J. Johnson: Nietzsche and Epicurus

Vinod Acharya & Ryan J. Johnson: Nietzsche and Epicurus

This volume explores Nietzsche”s decisive encounter with the ancient philosopher, Epicurus. The collected essays examine many previously unexplored and underappreciated convergences, and investigate …

Hoes van Robert MacIver: Politics and Society

Robert MacIver: Politics and Society

This carefully selected and integrated series of discourses on the central issues of political life presents Robert M. Mac Iver”s views on ethics and politics, society and the state, government and …

Hoes van Professor Kenneth (Sacred Heart University, Connecticut, USA) Knies: Crisis and Husserlian Phenomenology

Professor Kenneth (Sacred Heart University, Connecticut, USA) Knies: Crisis and Husserlian Phenomenology

Shedding new light on the theme of ‘crisis’ in Husserl”s phenomenology, this book reflects on the experience of awakening to one”s own naïveté. Beginning from everyday examples, Knies examines how …

Hoes van Ian Buchanan: Assemblage Theory and Method

Ian Buchanan: Assemblage Theory and Method

What do we mean by ”assemblage” in contemporary theory? The constant and seemingly limitless expansion of the concept”s range of applications begs the question, if any and every kind of collection …

Hoes van Dr Deane-Peter Baker: Morality and Ethics at War

Dr Deane-Peter Baker: Morality and Ethics at War

In Morality and Ethics of War, which includes a foreword by Major General Susan Coyle, ethicist Deane-Peter Baker goes beyond existing treatments of military ethics to address a fundamental problem: …

Hoes van Roger W.H. Savage: Paul Ricoeur’s Philosophical Anthropology as Hermeneutics of Liberation

Roger W.H. Savage: Paul Ricoeur’s Philosophical Anthropology as Hermeneutics of Liberation

This book offers a unique account of the role imagination plays in advancing the course of freedom’s actualization. It draws on Paul Ricoeur’s philosophical anthropology of the capable human being as …

Hoes van Matthew Altman: A Theory of Legal Punishment

Matthew Altman: A Theory of Legal Punishment

This book argues for a mixed theory of legal punishment that treats both crime reduction and retribution as important aims of the state. A central question in the philosophy of law is why the state’s …

Hoes van Quassim (University of Warwick, UK) Cassam: Extremism

Quassim (University of Warwick, UK) Cassam: Extremism

Extremism is one of the most charged and controversial issues of the twenty-first century. Despite myriad programs of deradicalization and prevention around the world, it remains an intractable and p …

Hoes van Christine J. Winter: Subjects of Intergenerational Justice

Christine J. Winter: Subjects of Intergenerational Justice

This book challenges mainstream Western IEJ (intergenerational environmental justice) in a manner that privileges indigenous philosophies and highlights the value these philosophies have for solving …

Hoes van Francesco Casarin & Matteo Giannasi: Philosophy of Marketing

Francesco Casarin & Matteo Giannasi: Philosophy of Marketing

How can we overcome the rapidly ageing postmodernist paradigm, which has become sterile orthodoxy in marketing? This book answers this crucial question using fresh philosophical tools developed by Ne …

Volgende pagina >>>