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