Contextual Validity in Hybrid Logic

Patrick Blackburn, Klaus Frovin Jørgensen. Contextual Validity in Hybrid Logic. In Patrick Brézillon, Patrick Blackburn, Richard Dapoigny, editors, Modeling and Using Context - 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Volume 8175 of Lecture Notes in Computer Science, pages 185-198, Springer, 2013. [doi]

Abstract

Abstract is missing.