#modal_logic  a system of logic whose formal properties resemble certain moral and epistemological concepts
  supertype:  symbolic_logic__mathematical_logic__formal_logic  any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
  subtype:  alethic_logic__alethiclogic  the modal logic of necessity and possibility and contingency
  subtype:  deontic_logic__deonticlogic  the modal logic of obligation and permissibility
  subtype:  epistemic_logic__epistemiclogic  the modal logic of knowledge and uncertainty and ignorance
  subtype:  doxastic_logic  the modal logic of belief and disbelief

1 statement is about a direct instance of modal_logic: graph29_on_article
No  statement uses a specialization of modal_logic; click here to add a statement.