Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

dynamic logic · Vinony

🌐English

English Français Italiano Português فارسی

EntityQ3836453· pop 5· linked from 35 articles

dynamic logic

extension of modal logic

Available in 5 languages

Français
Português
Italiano
فارسی

via Wikidata sitelinks · CC0

Connections

Categories

Logic in computer science Modal logic Non-classical logic Program logic

Sources

wikipedia.externallinksexternallink

philosophy

Entity

Artificial intelligence

International Standard Book Number

computer program

Edsger W. Dijkstra

Boolean algebra

mathematical induction

regular expression

propositional calculus

elementary algebra

logical conjunction

theoretical computer science

Stanford Encyclopedia of Philosophy

identity function

Sign in to save

What links here35 pages

description logic

Francine Berman

Defeasible reasoning

Fuzzy control system

epistemic modal logic

Johan van Benthem

Vaughan Ronald Pratt

predicate transformer semantics

Similar entities

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

epistemic modal logic

Entitydist 0.41

paraconsistent logic

Entitydist 0.44

Entitydist 0.45

dialogical logic

Entitydist 0.46

linear temporal logic

Entitydist 0.47

Entitydist 0.48

classical logic

Entitydist 0.49

logical language

Entitydist 0.49

substructural logic

Entitydist 0.49

combinational logic

Entitydist 0.50

Entitydist 0.51

philosophy of logic

Entitydist 0.52