Many-Dimensional Modal Logics: Theory and Applications

699 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Description Logic Knowledge and Action Bases (2014, background): “Moreover, incomplete information combined with the ability of evolving the system through actions results in a notoriously fragile setting w.r.t. decidability (Wolter & Zakharyaschev, 1999b, 1999a; Gabbay, Kurusz, Wolter, & Zakharyaschev, 2003).”
A Connectionist Computational Model for Epistemic and Temporal Reasoning (2006, background): “Although a number of multimodal systems—for example, combining knowledge and time (Gabbay et al., 2003; Halpern et al., 2004) and combining beliefs, desires, and intentions (Rao & Georgeff, 1998)—have been proposed for distributed knowledge representation, little attention has been paid to the…”
Pellet: A practical OWL-DL reasoner (2007, methodology): “Thus, E-Connections are computationally more robust than other combination methods, such as Fusions [23] or Multidimensional Modal Logics, [24], in which the interaction between the combined formalisms is closer and general transfer of decidability results cannot be expected.”
A Logical Account of Formal Argumentation (2009, background): “See the book [18] for a wealth of material products.”
Model theory for extended modal languages (2005, background): “Since decidability and the finite model property are preserved under taking fusions [45], the result follows.”