منطق موجهات
Sign in to saveformal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
In the Vinony graph
Vinony's link graph records 394 inbound references to منطق موجهات, and connects out to first-order logic, Arthur Prior and philosophy.
Vinony files it under Logic, Mathematical logic and Modal logic.
Vinony links it to 38 Wikipedia language editions.
Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
Article · العربية
المنطق الطوري أو منطق الموجهات نوع من المنطق الذي يتعامل مع «المحتمل» و«الممكن» والذي يظهر في مقولات لغوية من قبيل:«من المتوقع» و«من المفترض» و«ربما».
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
first-order logic
Entity
Arthur Prior
Entity
philosophy
Entity
axiom
Entity
Encyclopædia Britannica
Entity
propositional calculus
Entity
De Morgan's laws
Entity
David Lewis
Entity
possible world
Entity
many-valued logic
Entity
Clarence Irving Lewis
Entity
duality
Entity
deontic logic
Entity
epistemic modal logic
Entity
three-state logic
Entity
subjunctive possibility
Entity
method of analytic tableaux
Entity
closure operator
Entity
Strict conditional
Entity
dynamic logic
Entity