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

@article{Blackburn2000RepresentationRA,
  title={Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto},
  author={Patrick Blackburn},
  journal={Logic Journal of the IGPL},
  year={2000},
  volume={8},
  pages={339-365}
}
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad. In essence, modal logic is a simple formalism for working with relational structures (or multigraphs). But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 163 extracted citations

A Hilbert-Style Axiomatisation for Equational Hybrid Logic

Journal of Logic, Language and Information • 2014
View 8 Excerpts
Highly Influenced

Proof theory for modal logic

View 7 Excerpts
Highly Influenced

Context-Aware Applications Enhanced with Commonsense Spatial Reasoning

Map-based Mobile Services • 2008
View 5 Excerpts
Highly Influenced

The Logic of Location

Synthese • 2005
View 4 Excerpts
Highly Influenced

Algebraic Methodology and Software Technology

Charles Rattray Savitri Maharaj, Carron Shankland
Lecture Notes in Computer Science • 2004
View 20 Excerpts
Highly Influenced

Embedding value-based argumentation in persuasive dialogs

2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing • 2011
View 3 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 36 references

Derivation Rules as Anti-Axioms in Modal Logic

J. Symb. Log. • 1993
View 10 Excerpts
Highly Influenced

Labelled Deductive Systems, Volume 1, Dov M. Gabbay

Journal of Logic, Language and Information • 1998
View 4 Excerpts
Highly Influenced

Modal Logic and Classical Logic

J. van Benthem
Bibliopolis, Naples, • 1983
View 20 Excerpts
Highly Influenced

Failures of the Interpolation Lemma in Quantified Modal Logic

J. Symb. Log. • 1979
View 17 Excerpts
Highly Influenced

First Order Logic

R. Smullyan
Springer–Verlag, • 1968
View 20 Excerpts
Highly Influenced

First–Order Modal Logic

M. Fitting, R. Mendelsohn
Kluwer, • 1998
View 7 Excerpts
Highly Influenced

First-Order Logic and Automated Theorem Proving

Graduate Texts in Computer Science • 1996
View 8 Excerpts
Highly Influenced

Papers on Time and Tense

A. N. Prior
University of Oxford Press, • 1968
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…