Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
model of computation
|
| gptkbp:has_a_role_in |
modal propositional logic
|
| gptkbp:hasSpecialty |
symmetry
reflexivity transitivity |
| https://www.w3.org/2000/01/rdf-schema#label |
S5
|
| gptkbp:is_a |
Kripke_frame
|
| gptkbp:is_a_model_for |
modal logic
|
| gptkbp:is_a_platform_for |
reasoning about knowledge
reasoning about time reasoning about belief reasoning about obligation reasoning about permission reasoning about possibility reasoning about uncertainty |
| gptkbp:is_characterized_by |
accessibility relation
|
| gptkbp:is_used_in |
artificial intelligence
computer science S1 S4 modal logic philosophical logic necessity and possibility |
| gptkbp:produces |
gptkb:Saul_Kripke
|
| gptkbp:related_to |
modal axioms
|