Logic and Computation

• Інші автори: Diaconescu, Răzvan (Редактор)
• Формат: Електронний ресурс Частина з книги
• Мова: Англійська
• Опубліковано: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023
• Предмети: Research & information: general; Mathematics & science; strategic abilities; ω-regular properties; linear dynamic logic; strategic logics; model checking; concurrent game structure; supervised learning; Hopfield neural network; logic mining; artificial neural network; first-order logic; abstract model theory; institution; sketch; algebraic specification; description logic; graph conditions; graph constraints; diagram predicate framework; institution theory; category theory; stratified institutions; 3/2-institutions; categorical model theory; model theory; many-valued truth institutions; ℒ-institutions
• Онлайн доступ: DOAB: download the publication; DOAB: description of the publication

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-...