Skip to Main content Skip to Navigation
Conference papers

The Interpolation Theorem for IL and ILP

C. Areces D. de Jongh E. Hoogland
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00000327
Contributor : Areces Carlos Connect in order to contact the contributor
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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

5

 

Contact                    Legal Notice                    Personal Data