ผู้เขียน: Hiroakira Ono

Large-scale data processing is important. Most successful applications of m- ern science and engineering, from discovering the human genome to predicting weather to controlling space missions, involv …

This contributed volume includes both theoretical research on philosophical logic and its  applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. I …

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest …

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models withi …

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The se …

Edited in collaboration with Fo LLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the Fo LLI LNAI subline; containing the refereed proceedings of the 16 …

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been …

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 (ep …