Configuration Logic: A multi-site Modal Logic Roger Villemaire, Sylvain Halle, and Omar Cherkaoui   View Paper (PDF)   Return to Temporal Logic in Computer Science 3 Abstract We introduce a logical formalism for describing properties of configurations of computing systems. This logic of trees allows quantification on node labels, which are modalities containing variables. We explain the motivation behind our formalism and give both a classical semantics and a new equivalent one based on partial functions on variables. ©2006 Association for Computing Machinery