Interpolation, Definability and Fixed Points in Interpretability Logics (2000)

Cached

Download Links

by Carlos Areces , Eva Hoogland , Dick de Jongh
Venue:Advances in Modal Logic, Volume 2, Lecture Notes
Citations:2 - 0 self