# Hybrid logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- IEEE Transactions on Magnetics
- 2009

Densely embedding Magnetic Tunnel Junctions (MTJ) in CMOS logic circuits is considered as one potentially powerful solution toâ€¦Â (More)

Is this relevant?

2009

2009

- FoSSaCS
- 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

- Journal of Logic, Language and Information
- 2009

We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they computeâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- 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

- J. Applied Logic
- 2006

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledgeâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- KR
- 2006

Description logic (DL) ABoxes are a tool for describing the state of affairs in an application domain. In this paper, we considerâ€¦Â (More)

Is this relevant?

2004

2004

- J. Log. Comput.
- 2004

In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended withâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- ACL
- 2002

Categorial grammar has traditionally used the Î»-calculus to represent meaning. We present an alternative, dependency-basedâ€¦Â (More)

Is this relevant?

2001

2001

- TABLEAUX
- 2001

We present a (sound and complete) tableau calculus for Quantified Hybrid Logic (QHL). QHL is an extension of orthodox quantifiedâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Logic Journal of the IGPL
- 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?