Hybrid Logics: Characterization, Interpolation and Complexity

Carlos Areces, Patrick Blackburn, Maarten Marx. Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic, 66(3):977-1010, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.