Logic and Computation

Logic and computation are highly interdependent areas of research. On the one hand, logic plays an important role in computation both at the foundational and applied levels. For instance, several well-known programming and specification languages and systems have been developed as computational implementations of logical systems. Computing paradigms, such as declarative programming or formal specification and verification, owe much to logic. On the other hand, there are lots of computing-driven studies on logic.The present book contains five articles accepted for publication and submitted to the Special Issue “Logic and Computation” of the MDPI “Mathematics” journal. These appeared in Volumes 9 (2021) and 10 (2022). They cover topics such as the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the book will be interesting and useful for those working in the area of applying logic to computing. The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023" of the MDPI "Mathematics" journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of applying logic to computing. A9Rl92d9_1u1ntn9_1b4.pdf [Mathematics] Logic and Computation.pdf A9Rl92d9_1u1ntn9_1b4