Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
gptkb: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 |
| gptkbp:operator |
box (□)
diamond (◇) |
| gptkbp:studies |
necessity
possibility |
| gptkbp:uses |
modal operators
|
| https://www.w3.org/2000/01/rdf-schema#label |
propositional modal logic
|