"Wolter F., Wansing H., de Rijke M., Zakharyaschev M. (eds.) Advances in modal logic, vol.3 (WS, 2002)(T)(415s).djvu" - читать интересную книгу автора