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

By Patrick Blackburn. Logic Journal of the IGPL, 2000

314 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/f5914cbe991b14888b6db1d15a27a937b0acceaa

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Sara Negri
2. David Ten Cate

In Computer Networks and Communications

1. Sara Negri
2. David Ten Cate

Citations in the corpus

• Proof Analysis in Modal Logic (2005, background): “…(Fitting, 1983; Catach, 1991; Nerode, 1991; Goré, 1998), in natural deduction (Simpson, 1994; Basin, Matthews, and Viganò, 1998), in sequent calculus (Mints, 1997; Viganò, 2000; Kushida and Okada, 2003), in first-order encodings of modal logic (Ohlbach, 1993), and in hybrid logic (Blackburn, 2000).”
• Model theory for extended modal languages (2005, background): “The history of hybrid languages and the many motivations for studying them will not be discussed further here, but the reader is referred to [83, 18] for two excellent expositions.”