Abstract
Craig’s interpolation lemma (if
Citation
Patrick Blackburn. Maarten Marx. "Constructive interpolation in hybrid logic." J. Symbolic Logic 68 (2) 463 - 480, June 2003. https://doi.org/10.2178/jsl/1052669059
Information
Craig’s interpolation lemma (if
Patrick Blackburn. Maarten Marx. "Constructive interpolation in hybrid logic." J. Symbolic Logic 68 (2) 463 - 480, June 2003. https://doi.org/10.2178/jsl/1052669059