Ontify

⌘S

Modal Logic

Formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.

Wikipedia logo

Wikipedia | Modal Logic

Statements about Modal Logic

Described by Source

Encyclopædia Britannica 11th Edition
Statement Is Subject Of
:
1911 Encyclopædia Britannica/Necessity
Armenian Soviet Encyclopedia, Vol. 7
Page(s)
:662

Subclass Of

Logical System
Intensional Logic

Influenced By

Propositional Calculus
Predicate Logic

Part Of

Logic
Mathematical Logic

Instance Of

Mathematical Theory

Stack Exchange Tag

https://philosophy.stackexchange.com ...
https://proofassistants.stackexchang ...

Schematic

Image 1
Powered byWikidataWikidata

External Pages About Modal Logic

Encyclopædia Britannica Online ID

Encyclopædia Britannica Online

KBpedia ID

KBpedia

Dewey Decimal Classification

Dewey Decimal Classification

Dewey Decimal Classification

Dewey Decimal Classification