**Preface to "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.

As the Guest Editor of the Special Issue, I am grateful to the authors of the papers for their quality contributions, to the reviewers for their valuable comments towards the improvement in the submitted works and to the administrative staff of MDPI for their support in completing this project. Special thanks are due to the Managing Editor of the Special Issue, Dr. Syna Mu, for his excellent collaboration, encouragement and valuable assistance.

> **R˘azvan Diaconescu** *Editor*
