We introduce generalized register automata (GRAs) and study their properties and applications in reasoning about systems and specifications over infinite domains. We show that GRAs can capture both VLTL – a logic that extends LTL with variables over infinite domains, and abstract systems – finite state systems whose atomic propositions are parameterized by variable over infinite domains. VLTL a...

The problem of heat conduction in one-dimensional piecewise homogeneous composite materials is examined by providing an explicit solution of the one-dimensional heat equation in each domain. The location of the interfaces is known, but neither temperature nor heat flux is prescribed there. Instead, the physical assumptions of their continuity at the interfaces are the only conditions imposed. T...

We show, with an example, that the theorem on the characterization of the domains admitting strategy-proof and non-dictatorial social choice functions by Kalai and Muller (1977) does not hold when the set of alternatives is infinite. We consider two ways of overcoming this problem. The first identifies a set of domains admitting strategy-proof and non-dictatorial social choice functions when th...