Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

Author:   Fenrong Liu ,  Hiroakira Ono ,  Junhua Yu
Publisher:   Springer Verlag, Singapore
Edition:   2020 ed.
ISBN:  

9789811522208


Pages:   217
Publication Date:   24 March 2020
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $448.77 Quantity:  
Add to Cart

Share |

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic


Add your own review!

Overview

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.

Full Product Details

Author:   Fenrong Liu ,  Hiroakira Ono ,  Junhua Yu
Publisher:   Springer Verlag, Singapore
Imprint:   Springer Verlag, Singapore
Edition:   2020 ed.
Weight:   0.512kg
ISBN:  

9789811522208


ISBN 10:   9811522200
Pages:   217
Publication Date:   24 March 2020
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

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.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List