Knowledge, Proof and Dynamics

The Fourth Asian Workshop on Philosophical Logic

de

, ,

Éditeur :

Springer


Paru le : 2020-03-23



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
147,69

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description
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. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Pages
217 pages
Collection
n.c
Parution
2020-03-23
Marque
Springer
EAN papier
9789811522208
EAN PDF
9789811522215

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
21
Taille du fichier
4915 Ko
Prix
147,69 €
EAN EPUB
9789811522215

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
21
Taille du fichier
14459 Ko
Prix
147,69 €

Fenrong Liu, Distinguished Changjiang professor, Department of Philosophy, Tsinghua  University, China. She is known by her works in preference dynamics and social epistemic  logics, with numerous high quality publications in these areas.  

Hiroakira Ono, Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods.

Junhua Yu has been working in (structural) proof theory and its applications in constructive semantics, neighborhood logics, and logics with fixed-points.

Suggestions personnalisées