This book constitutes the proceedings of the 10th International Computer Science Symposium in Rus...

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made f...

Logic deals with the fundamental notions oftruth and falsity. Modal logic arose from the philosop...

Advances in Modal Logic is a unique international forum representingthe latest results and new di...