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

Research output: Contribution to journalArticle

2 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
  • Computer Science(all)

Cite this