Carlos Areces, Patrick Blackburn, Maarten Marx. Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logic, 124(1-3):287-299, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.