The third volume of the second edition contains major contributions on Basic and Advanced Modal LogiProducator: SPRINGER PG