Logical Foundations of Computer Science

Discover the essential insights into the Logical Foundations of Computer Science with this comprehensive volume by Sergei Artemov, published by Springer Nature Switzerland AG in 2019. This book presents the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, which took place in Deerfield Beach, FL, USA. Spanning 287 pages, this edition delves into critical topics such as domain theory logics, logical foundations of database theory, intelligent and multiple-agent system logics, and distributed system logics. Ideal for researchers and practitioners alike, this work provides a solid foundation for understanding the logical underpinnings of various computer science domains. Enhance your knowledge and explore the intricate connections between logic and computer science with this authoritative text.