Skip to Main content Skip to Navigation
Conference papers

The Interpolation Theorem for IL and ILP

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00000327
Contributor : Areces Carlos <>
Submitted on : Friday, September 23, 2005 - 5:31:27 PM
Last modification on : Friday, September 23, 2005 - 5:31:27 PM

Identifiers

  • HAL Id : inria-00000327, version 1

Citation

C. Areces, D. de Jongh, E. Hoogland. The Interpolation Theorem for IL and ILP. Proceedings of AiML98. Advances in Modal Logic, 1998, Uppsala, Sweden. ⟨inria-00000327⟩

Share

Metrics

Record views

9