76 citations · 512 across the 33 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.LO2006
Undecidability of the unification and admissibility problems for modal and description logics
Frank Wolter, Michael Zakharyaschev
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extende…
cs.LO2006★ 20 cited
Modal Logics of Topological Relations
Carsten Lutz, Frank Wolter
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial…