#### Filter Results:

- Full text PDF available (23)

#### Publication Year

1954

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
- J. Artif. Intell. Res.
- 2002

Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox… (More)

- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
- Studia Logica
- 2002

The aim of this paper is to construct a tableau decision algorithm for the modal description logic KALC with constant domains. More precisely , we present a tableau procedure that is capable of deciding, given an ALC-formula ' with extra modal operators (which are applied only to concepts and TBox axioms, but not to roles), whether ' is satiss-able in a… (More)

- Holger Sturm, Frank Wolter
- J. Log. Comput.
- 2002

In this paper we present a tableau calculus for a temporal extension of the description logic ALC, called T L ALC. This logic is based on the temporal language with`Until' interpreted over the natural numbers with expanding ALC-domains. The tableau calculus forms an elaborated combination of Wolper's tableau calculus for propositional linear temporal logic,… (More)

- Holger Sturm, Frank Wolter, Michael Zakharyaschev
- JELIA
- 2000

We consider the monodic formulas of common knowledge predicate logic, which allow applications of epistemic operators to formulas with at most one free variable. We provide nite axiomatizations of the monodic fragment of the most important common knowledge predicate logics (the full logics are known to be not recursively enumerable) and single out a number… (More)

- Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
- Description Logics
- 2000

We present results on global definability in basic modal logic, and contrast our model-theoretic results and proof techniques with known results about local definability.

- Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
- Journal of Applied Non-Classical Logics
- 2002

In [8, 6] we introduced a family of ‘modal’ languages intended for talking about distances. These languages are interpreted in ‘distance spaces’ which satisfy some (or all) of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal… (More)

- Holger Sturm, Frank Wolter
- J. Philosophical Logic
- 2001

- Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
- ACM Trans. Comput. Log.
- 2003

We investigate the expressive power and computational properties of two different types of languages intended for speaking about distances. First, we consider a first-order language FM the two-variable fragment of which turns out to be undecidable in the class of distance spaces validating the triangular inequality as well as in the class of all metric… (More)