Book Series: Logic in Asia

This book series promotes the advancement of scientific research within the field of logic in Asian countries. It aims to strengthen collaboration between researchers based in Asia and those across the international scientific community, providing a platform for presenting the results of their collaborations. One of the notable features of contemporary logic is its interdisciplinary nature, encompassing mathematics, philosophy, modern computer science, as well as cognitive and social sciences. The objective of this book series is to create a forum for current logic research, reflecting this trend in the field's development.
The series welcomes books on any topic related to logic in the broadest sense, including contemporary formal logic, its applications, and its relationships with other disciplines. It accepts monographs and thematically coherent volumes that address important developments in logic and present significant contributions to logical research. Additionally, research works on the history of logical ideas, particularly the traditions in China and India, are valuable contributions. The scope of the book series includes, but is not limited to, the following:

• Monographs written by researchers in Asian countries.
• Conference proceedings held in Asia or edited by Asian researchers.
• Anthologies edited by researchers in Asia.
• Research works by scholars from other regions of the world that align with the goal of "Logic in Asia".
The series discourages the submission of manuscripts containing reprints of previously published material and/or manuscripts that are less than 165 pages or 90,000 words in length.

Editors

Liu, Fenrong, Tsinghua University and University of Amsterdam CONTACT: fenrong@tsinghua.edu.cn
Ono, Hiroakira, Japan Advanced Institute of Science and Technology CONTACT: ono@jaist.ac.jp
Lodaya, Kamal, Bengaluru, India CONTACT: kamal@imsc.res.in 

  Editorial Board

    Natasha Alechina, University of Utrecht
    Toshiyasu Arai, Chiba University, Japan
    Sergei Artemov, City University of New York (Graduate Center)
    Mattias Baaz, Technical University of Vienna
    Lev Beklemishev, Institute of Russian Academy of Sciences
    Mihir Chakraborty, Jadavpur University and Indian Statistical Institute
    Phan Minh Dung, Asian Institute of Technology, Thailand
    Amitabha Gupta, Indian Institute of Technology Bombay
    Christoph Harbsmeier, University of Oslo
    Shier Ju, Sun Yat-sen University, China
     Makoto Kanazawa, National Institute of Informatics, Japan
     Fangzhen Lin, Hong Kong University of Science and Technology
     Jacek Malinowski, Polish Academy of Sciences
    Ram Ramanujam, Institute of Mathematical Sciences, India
     Jeremy Seligman, University of Auckland and Tsinghua University
    Kaile Su, Griffith University
    Johan van Benthem, University of Amsterdam, Stanford University and Tsinghua University
    Hans van Ditmarsch, Laboratoire Lorrain de Recherche en Informatique et ses Applications
    Dag Westerstahl, University of Stockholm and Tsinghua University
    Yue Yang, Singapore National University
    Chin-mu Yang, National Taiwan University

Titles in the series

Go to the Springer website