25 résultat(s)
Télécharger le livre : Johan van Benthem on Logic and Information Dynamics
Alexandru Baltag , Sonja Smets
Johan van Benthem on Logic and Information Dynamics
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself....
Editeur : Springer
Parution : 2014-08-27
Collection : Outstanding Contributions to Logic
Format(s) : ePub
210,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Leo Esakia on Duality in Modal and Intuitionistic Logics
Guram Bezhanishvili
Leo Esakia on Duality in Modal and Intuitionistic Logics
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape...
Editeur : Springer
Parution : 2014-06-03
Collection : Outstanding Contributions to Logic
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Nuel Belnap on Indeterminism and Free Action
Thomas Müller
Nuel Belnap on Indeterminism and Free Action
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American...
Editeur : Springer
Parution : 2014-03-21
Collection : Outstanding Contributions to Logic
Format(s) : PDF, ePub
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : David Makinson on Classical Methods for Non-Classical Problems
Sven Ove Hansson
David Makinson on Classical Methods for Non-Classical Problems
The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas.The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his...
Editeur : Springer
Parution : 2013-12-20
Collection : Outstanding Contributions to Logic
Format(s) : ePub
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Krister Segerberg on Logic of Actions
Robert Trypuz
Krister Segerberg on Logic of Actions
This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of...
Editeur : Springer
Parution : 2013-10-22
Collection : Outstanding Contributions to Logic
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
<< < 12