Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:modal_logic_system
|
| gptkbp:extendsTo |
gptkb:modal_logic_K
gptkb:modal_logic_T |
| gptkbp:hasAxiom |
4: □A → □□A
K: □(A→B) → (□A→□B) T: □A → A |
| gptkbp:hasCanonicalModel |
true
|
| gptkbp:hasCompleteness |
with respect to reflexive and transitive Kripke frames
|
| gptkbp:hasFiniteModelProperty |
true
|
| gptkbp:hasFrameCondition |
reflexive and transitive accessibility relation
|
| gptkbp:hasModalOperator |
necessity (□)
possibility (◇) |
| gptkbp:hasSubgroup |
gptkb:modal_logic_S5
|
| gptkbp:isDecidable |
true
|
| gptkbp:isWeakerThan |
gptkb:modal_logic_T
gptkb:modal_logic_S5 |
| gptkbp:namedAfter |
gptkb:C.I._Lewis
|
| gptkbp:usedIn |
gptkb:topology
gptkb:intuitionistic_logic_(via_Gödel–McKinsey–Tarski_translation) provability logic |
| gptkbp:bfsParent |
gptkb:modal_logic_S5
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
modal logic S4
|