
Exploring Negation, Modality and Proof
3 contributors - Hardback
£159.99
Hiroakira Ono is 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.
Ryo Hatano is Junior Associate Professor, Tokyo University of Science, Japan. He is engaged in proof-theoretic research on dynamic epistemic logic and its intuitionistic generalizations, as well as machine learning
Katsuhiko Sano is Professor, Faculty of Humanities, Hokkaido University, Japan. His main research interests are modal logic and nonclassical logic, both from a proof-theoretic and a model-theoretic perspective. He is also interested in Alan Turing's thoughts on machines. He received the best paper award at the 5th AWPL