Publisher Summary This chapter surveys two key combination methods––namely, fusions
and products. It also examines some other combination methods. The properties of …

Despite historical links between the foundations of mathematics and development of
axiomatic geometry, substantial logics for significant spatial structures have been scarce …

In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated
by Fischer Servi. This solves a problem that has been open for almost thirty years since it …

We design temporal description logics (TDLs) suitable for reasoning about temporal
conceptual data models and investigate their computational complexity. Our formalisms are …

Chapter 9 SPATIAL LOGIC + TEMPORAL LOGIC = ? Page 1 Chapter 9 SPATIAL LOGIC +
TEMPORAL LOGIC = ? Roman Kontchakov Birkbeck College, London Agi Kurucz King’s …

We show that products and expanding relativized products of propositional modal logics
where one component is the minimal monomodal logic K are polynomial-time reducible to …

We introduce the horizontal and vertical topologies on the product of topological spaces,
and study their relationship with the standard product topology. We show that the modal …

We show that products of propositional modal logics where at least one factor is one of the
monomodal logics,, and are polynomial-time embeddable into their single-variable …

Tractable Interval Temporal Propositional and Description Logics Page 1 Tractable Interval
Temporal Propositional and Description Logics A. Artale1 and R. Kontchakov2 and V …

We show that—unlike products of 'transitive'modal logics which are usually undecidable—
their 'expanding domain'relativisations can be decidable, though not in primitive recursive …