Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.

Dongmo Zhang, Norman Y. Foo

Browse the full JELIA paper archive.