Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
modal logic S4
|
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:Justification_logic
|
gptkbp:bfsLayer |
5
|