Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto

Patrick Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, 8(3):339-365, 2000. [doi]

Abstract

Abstract is missing.