Random triples
| Subject | Object |
|---|---|
| gptkb:alethic_modal_logic | necessarily |
| gptkb:alethic_modal_logic | possibly |
| gptkb:Deontic_Logic | F (forbidden) |
| gptkb:modal_logic_K | necessity (□) |
| gptkb:Deontic_Logic | O (obligatory) |
| gptkb:Epistemic_Logic | K (knows) |
| gptkb:Doxastic_Logic | B (for 'believes') |
| gptkb:Deontic_Logic | P (permitted) |
| gptkb:modal_logic_S4 | possibility (◇) |
| gptkb:modal_logic_S4 | necessity (□) |
| gptkb:modal_logic_K | possibility (◇) |
| gptkb:Epistemic_Logic | B (believes) |