Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
branch of logic |
| gptkbp:distinctFrom |
gptkb:first-order_modal_logic
|
| gptkbp:extendsTo |
gptkb:logic
|
| gptkbp:field |
gptkb:logic
|
| gptkbp:hasApplication |
gptkb:mathematics
gptkb:philosophy computer science linguistics |
| gptkbp:hasAxiom |
gptkb:system_K
gptkb:system_S4 gptkb:system_S5 |
| gptkbp:hasSemantic |
gptkb:Kripke_semantics
|
| gptkbp:hasSubgroup |
gptkb:logic
|
| gptkbp:hasSyntax |
logical connectives
modal operators propositional variables |
| https://www.w3.org/2000/01/rdf-schema#label |
propositional modal logic
|
| gptkbp:operator |
box (□)
diamond (◇) |
| gptkbp:studies |
necessity
possibility |
| gptkbp:uses |
modal operators
|
| gptkbp:bfsParent |
gptkb:Modal_μ-calculus
|
| gptkbp:bfsLayer |
5
|