#modal_logic  a system of logic whose formal properties resemble certain moral and epistemological concepts
  subtype:  alethic_logic  deontic_logic  epistemic_logic  doxastic_logic
  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
     supertype:  system_of_logic__logic__logical_system__logicalsystem  a system of reasoning
        supertype:  system_of_rules__system  a complex of methods or rules governing behavior; "they have to operate under a system they oppose"; "that language has a complex system for indicating gender"
           supertype:  system  a group of independent but interrelated elements comprising a unified whole; "a vast system of production and distribution and consumption keep the country going"
              supertype:  group__grouping  any number of entities (members) considered as a unit
                 supertype:  collection  something gathering separated things (entities/situations)
                    supertype:  divisible_entity__divisibleentity  many classifications under this category are application-dependant
                       supertype:  entity  something that can be "involved" in a situation
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                       supertype:  divisible_thing__divisiblething
                          supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

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.