Explore
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 21 times via unglue.it ebook links.
- 21 - pdf (CC BY) at Unglue.it.
Keywords
- 3/2-institutions
- abstract model theory
- algebraic specification
- artificial neural network
- categorical model theory
- Category theory
- concurrent game structure
- description logic
- diagram predicate framework
- First-order logic
- graph conditions
- graph constraints
- Hopfield neural network
- Institution
- institution theory
- linear dynamic logic
- logic mining
- many-valued truth institutions
- Mathematics & science
- Model Checking
- Model theory
- Reference, information & interdisciplinary subjects
- Research & information: general
- sketch
- strategic abilities
- strategic logics
- stratified institutions
- supervised learning
- ω-regular properties
- ℒ-institutions
Links
DOI: 10.3390/books978-3-0365-7377-9Editions