Télécharger le livre :  Knowledge, Proof and Dynamics
Ajouter à ma liste d'envies
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory,...

Editeur : Springer
Parution : 2020-03-23
Collection : Logic in Asia: Studia Logica Library
PDF, ePub

147,69
Télécharger le livre :  Reasoning about Preference Dynamics
Ajouter à ma liste d'envies
Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what...

Editeur : Springer
Parution : 2011-05-30
Collection : Synthese Library
ePub

94,94