Ebook > Sachbücher > Philosophie / Religion > Philosophie - Allgemeines > Heinrich Wansing: Proof Theory of Modal Logic (PDF)

Heinrich Wansing
Proof Theory of Modal Logic

Support

Adobe DRM

Cover von 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.

€160.84

Sprache Englisch ● Format PDF ● ISBN 9789401727983 ● Herausgeber Heinrich Wansing ● Verlag Springer Netherlands ● Erscheinungsjahr 2013 ● herunterladbar 3 mal ● Währung EUR ● ID 4698804 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Heinrich Wansing

46.188 Ebooks in dieser Kategorie

Cover von Laurie C. (Maryland University of Integrative Health, USA) Hyland Robertson & Marlysa B. (Maryland University of Integrative Health, USA) Sullivan: Understanding Yoga Therapy

Laurie C. (Maryland University of Integrative Health, USA) Hyland Robertson & Marlysa B. (Maryland University of Integrative Health, USA) Sullivan: Understanding Yoga Therapy

Understanding Yoga Therapy offers a comprehensive and accessible perspective on yoga therapy as a complementary, integrative route to promoting whole-person well-being. Readers will come away from …

Cover von Benjamin JJ (University of East Anglia, UK) Carpenter: The Politics of Recognition in the Age of Digital Spaces

Benjamin JJ (University of East Anglia, UK) Carpenter: The Politics of Recognition in the Age of Digital Spaces

This book provides a philosophical analysis of the notion of selfhood that underlies identity politics. It offers a unique theory of the self that combines previous scholarly work on recognition and …

Cover von Gearoid (University of Melbourne, Australia) Brinn & Callum (Monash University, Australia) Jones: Global Heating and the Australian Far Right

Gearoid (University of Melbourne, Australia) Brinn & Callum (Monash University, Australia) Jones: Global Heating and the Australian Far Right

Global Heating and the Australian Far Right examines the environmental politics of far-right actors and movements in Australia, exploring their broader political context and responses to climate chan …

Cover von Shelda-Jane (University of Liverpool, UK) Smith: Neurodivergent Youthhoods

Shelda-Jane (University of Liverpool, UK) Smith: Neurodivergent Youthhoods

Adolescent rites of passage are ubiquitous sociocultural processes that feature across all manner of social activity. As transitional healthcare becomes an increasing fixture within paediatric and ad …

Cover von Mansooreh (University of Freiburg, Germany) Khalilizand: The Attributes of God in Islamic Thought

Mansooreh (University of Freiburg, Germany) Khalilizand: The Attributes of God in Islamic Thought

The debate over Allah’s attribute—the “nature” and the inner articulation of Allah—is one of the focal debates in the intellectual history of Islam. This edited collection aims to highlight and exami …

Cover von Professor Cynthia (University of New Mexico and Albany Medical College, USA) Geppert: Addiction and the Captive Will

Professor Cynthia (University of New Mexico and Albany Medical College, USA) Geppert: Addiction and the Captive Will

Cover von Garth Amundson: Psychological and Philosophical Studies of Jung’s Teleology

Garth Amundson: Psychological and Philosophical Studies of Jung’s Teleology

This important new volume addresses an underappreciated dimension of Jung’s work, his concept of the teleology, or “future-orientation”, of psychic reality. The work, authored by an international g …

Cover von Valentina Gevorgyan: Civil Society and Government Institutions in Armenia

Valentina Gevorgyan: Civil Society and Government Institutions in Armenia

The book provides an understanding of the three decades of Armenia s young history from the perspective of relations between civil society and government institutions. It explores the intricate …

Cover von Nicholas R. Baima & Sarah C. Malanowski: Why It''s OK to Be a Gamer

Nicholas R. Baima & Sarah C. Malanowski: Why It“s OK to Be a Gamer

If you enjoy video games as a pastime, you are certainly not alone—billions of people worldwide now play video games. However, you may still find yourself reluctant to tell others this fact about you …

Cover von Krzysztof Poslajko: Unreal Beliefs

Krzysztof Poslajko: Unreal Beliefs

nächste Seite >>>