Hybrid Logics: Characterization, Interpolation and Complexity (1999)

Cached

Download Links

by Carlos Areces , Patrick Blackburn , Maarten Marx
Venue:Journal of Symbolic Logic
Citations:100 - 35 self