Inicio > Humanidades > Filosofía > Filosofía: epistemología y teoría del conocimiento > Dynamic Epistemic Logic
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Barteld Kooi / Hans van Ditmarsch / Wiebe van der Hoek

133,81 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2007
Materia
Filosofía: epistemología y teoría del conocimiento
ISBN:
9781402069086
133,81 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

Artículos relacionados

  • Vier Quellen Der Erkenntnis
    Ellis Potter
    Woher wissen wir etwas? Weil es ‚wissenschaftlich bewiesen‘ ist oder ‚in der Bibel steht‘ oder es ‚sich in mir einfach richtig und wahr anfühlt ‘? Wissen wir alles auf gleiche Weise? Passen unterschiedliche Wege der Erkenntnis zusammen in ein Leben und eine Wirklichkeit?In dieser kompakten Ausgabe, dem zweiten Teil einer Trilogie, zeigt der internationale Referent Ellis Potter ...
    Disponible

    12,44 €

  • Fichte’s 1804 Wissenschaftslehre
    Illuminating new essays on Fichte’s 1804 Wissenschaftslehre, or The Science of Knowing.Fichte’s 1804 Wissenschaftslehre, or The Science of Knowing, consists of a series of lectures he delivered in his Berlin home to members of the city’s political and cultural elite in 1804. The lectures mark a dramatic shift in the terminology and methodology he uses to explore the nature of k...
  • Cybernetics for the 21st Century Vol. 1
    Andrew Pickering / Katherine Hayles
    Cybernetics for the 21st Century Vol.1 is dedicated to the epistemological reconstruction of cybernetics, consisting of a series of historical and critical reflections on the subject - which according to Martin Heidegger marked the completion of Western metaphysics. In this anthology, historians, philosophers, sociologists and media studies scholars explore the history of cyber...
    Disponible

    20,84 €

  • Huellas de San Agustín en Kant
    Javier Narváez Arango
    El libro se desarrolla en tres partes. En la primera encontramos el tiempo, el espacio, el fenómeno, el númeno, las categorías, los juicios sintéticos a priori, el mundo, el alma y Dios, expuestos por Kant en la Crítica de la razón pura. En la segunda parte encontramos los mismos temas desde san Agustín, haciendo un paralelo, para mostrar las semejanzas entre estos autores, enc...
    Disponible

    9,31 €

  • Materialist Phenomenology
    Manuel DeLanda
    Bringing together phenomenology and materialism, two perspectives seemingly at odds with each other, leading international theorist, Manuel DeLanda, has created an entirely new theory of visual perception. Engaging the scientific (biology, ecological psychology, neuroscience and robotics), the philosophical (idea of ’the embodied mind’) and the mathematical (dynamic systems the...
  • A Certain Ambiguity
    Gaurav Suri / Hartosh Singh Bal
    While taking a class on infinity at Stanford in the late 1980s, Ravi Kapoor discovers that he is confronting the same mathematical and philosophical dilemmas that his mathematician grandfather had faced many decades earlier--and that had landed him in jail. Charged under an obscure blasphemy law in a small New Jersey town in 1919, Vijay Sahni is challenged by a skeptical judge ...
    Disponible

    23,49 €

Otros libros del autor

  • Dynamic Epistemic Logic
    Barteld Kooi / Hans van Ditmarsch / Wiebe van der Hoek
    Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expres...