Configuration Logic: A Multi-site Modal Logic
Roger Villemaire, Sylvain Hallé, Omar Cherkaoui · 2005
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.