Foundations of logic programming in hybrid logics with user-defined sharing

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


The present contribution advances an abstract notion of hybrid logic by supplementing the definition of institution with an additional structure to extract frames. The foundation of logic programming is set in the general framework proposed by defining the basic concepts such as Horn clause, query and solution, and proving fundamental results such as the existence of initial model of Horn clauses and Herbrand's theorem. The abstract results are then applied to hybrid logics with user-defined sharing, where the possible worlds share a common domain and the variables used for quantification are interpreted uniformly across the worlds.

Original languageEnglish
Pages (from-to)1-24
Number of pages24
JournalTheoretical Computer Science
Publication statusPublished - Jul 22 2017

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Foundations of logic programming in hybrid logics with user-defined sharing'. Together they form a unique fingerprint.

Cite this