hasModalOperator

12 triples
GPTKB property

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