Hybrid logic

Hybrid logic refers to a number of extensions to propositional modal logic with more expressive power, though still less than first-order logic. In… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Densely embedding Magnetic Tunnel Junctions (MTJ) in CMOS logic circuits is considered as one potentially powerful solution to… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 3
Is this relevant?
2009
2009
We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators… (More)
Is this relevant?
2009
2009
We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they compute… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy… (More)
Is this relevant?
2006
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Description logic (DL) ABoxes are a tool for describing the state of affairs in an application domain. In this paper, we consider… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended with… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Categorial grammar has traditionally used the λ-calculus to represent meaning. We present an alternative, dependency-based… (More)
  • figure 1
Is this relevant?
2001
2001
We present a (sound and complete) tableau calculus for Quantified Hybrid Logic (QHL). QHL is an extension of orthodox quantified… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
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… (More)
Is this relevant?