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 :  Philosophical Logic: Current Trends in Asia
Ajouter à ma liste d'envies
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic...

Editeur : Springer
Parution : 2017-11-25
Collection : Logic in Asia: Studia Logica Library
PDF, ePub

147,69
Télécharger le livre :  Modality, Semantics and Interpretations
Ajouter à ma liste d'envies
This contributed volume includes both theoretical research on philosophical logic and its  applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on...

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

52,74