Knowledge, proof and dynamics: the fourth asian workshop on philosophical logic
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811522239
Date de publication :
24 mars 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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, algebraic logic, game logics, and philosophical foundations of logic.