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-based formal specifi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: E-Book
Sprache:Englisch
Veröffentlicht: Basel MDPI - Multidisciplinary Digital Publishing Institute 2023
Schlagworte:
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 and Science
model checking
model theory
Reference, Information and Interdisciplinary subjects
Research and information: general
sketch
strategic abilities
strategic logics
stratified institutions
supervised learning
ω-regular properties
ℒ-institutions
ISBN:3036573763, 9783036573779, 3036573771, 9783036573762
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISBN:3036573763
9783036573779
3036573771
9783036573762
DOI:10.3390/books978-3-0365-7377-9