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