
by Alexandru Baltag (Editor), SonjaSmets (Editor)
And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today.
Format: Hardcover
Pages: 1100
Edition: 2014
Publisher: Springer
Published: 08 Sep 2014
ISBN 10: 3319060244
ISBN 13: 9783319060248