Logic in Asia: Studia Logica Library

Knowledge, Proof and Dynamics

The Fourth Asian Workshop on Philosophical Logic

Editors: Liu, Fenrong, Ono, Hiroakira, Yu, Junhua (Eds.)

Free Preview
  • ​Includes a collection of papers presented at the AWPL, reflecting the latest logic research
  • Discusses active areas of interest in the fields of logic
  • Covers both model semantical and proof theoretical approaches to dealing with logical problems
see more benefits

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-981-15-2221-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.99
price for USA in USD
  • ISBN 978-981-15-2220-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

About the authors

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.

Table of contents (10 chapters)

Table of contents (10 chapters)

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-981-15-2221-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $179.99
price for USA in USD
  • ISBN 978-981-15-2220-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Knowledge, Proof and Dynamics
Book Subtitle
The Fourth Asian Workshop on Philosophical Logic
Editors
  • Fenrong Liu
  • Hiroakira Ono
  • Junhua Yu
Series Title
Logic in Asia: Studia Logica Library
Copyright
2020
Publisher
Springer Singapore
Copyright Holder
Springer Nature Singapore Pte Ltd.
eBook ISBN
978-981-15-2221-5
DOI
10.1007/978-981-15-2221-5
Hardcover ISBN
978-981-15-2220-8
Series ISSN
2364-4613
Edition Number
1
Number of Pages
IX, 217
Number of Illustrations
156 b/w illustrations, 16 illustrations in colour
Topics