On modularity of theories

@inproceedings{Herzig2004OnMO,
  title={On modularity of theories},
  author={Andreas Herzig and Ivan Jos{\'e} Varzinczak},
  year={2004}
}
We call these subtheories modules. Examples of such theories can be found in reasoning about actions, where each T αi contains descriptions of the atomic action αi in terms of preconditions and effects, and T ∅ is the set of static laws (alias domain constraints, alias integrity constraints), i.e. those formulas that hold in every possible state of a… CONTINUE READING