This book is the proceedings of the Fourth International Conference on Quantitative Logic and Sof...