km#belief_revision__beliefrevision
  supertype:  km#non_monotonic_reasoning__nonmonotonicreasoning
  subtype:  km#permissive_belief_revision

1 statement is about an indirect instance of km#belief_revision (km#permissive_belief_revision): km#graph6_on_article
  click here to display them or click here for a search form or here to add a statement