#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: km#graph29_on_article
No  statement uses a specialization of #modal_logic; click here to add a statement.