Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

computational logic · Vinony

EntityQ5157327· pop 6· linked from 36 articles

computational logic

Sign in to save

use of logic to perform or reason about computation

Connections

formal verification

John Alan Robinson

computer science

International Standard Book Number

mathematical logic

University of Edinburgh

logic programming

philosophical logic

automated reasoning

automated theorem proving

logic in computer science

Robert S. Boyer

Categories

Computational fields of study Logic in computer science

Sources

wikipedia.externallinksexternallink

What links here36 pages

computer science

Robert Kowalski

computational thinking

Jacob T. Schwartz

Max Planck Institute for Informatics

Michael Wooldridge

logic in computer science

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.28

Entitydist 0.35

logic programming

Entitydist 0.36

Entitydist 0.39

philosophy of logic

Entitydist 0.40

probabilistic logic

Entitydist 0.42

computation tree logic

Entitydist 0.43

Entitydist 0.43

substructural logic

Entitydist 0.44

semantics of logic

Entitydist 0.44

concurrent computing

Entitydist 0.45

Situation calculus

Entitydist 0.45