Cover Image
Read Now

Logic and Computation

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

Full description

Bibliographic Details
Main Author: Diaconescu, Răzvan
Format: eBook
Language:English
Published: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023
Subjects:
Supervised Learning
Sketch
Research & Information: General / Bicssc
Graph Conditions
Strategic Abilities
Logic Mining
Model Theory
Stratified Institutions
Institution
Mathematics & Science / Bicssc
First-order Logic
Categorical Model Theory
Model Checking
Description Logic
ω-regular Properties
Strategic Logics
Linear Dynamic Logic
Abstract Model Theory
Concurrent Game Structure
Institution Theory
3/2-institutions
Diagram Predicate Framework
Graph Constraints
Hopfield Neural Network
Category Theory
Algebraic Specification
Artificial Neural Network
Many-valued Truth Institutions
ℒ-institutions
Online Access:
Collection: Directory of Open Access Books - Collection details see MPG.ReNa
Description
Summary: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.
Item Description:Creative Commons (cc), https://creativecommons.org/licenses/by/4.0/
Physical Description:1 electronic resource (194 p.)
ISBN:9783036573762
9783036573779
books978-3-0365-7377-9

Similar Items