Abstract:Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning over an object domain. However, the standard relational semantics for modalities is known to validate principles deemed problematic in agency, deontic, or epistemic applications. To overcome these difficulties, weaker systems of so-called non-normal modal logics, equipped with neighbourhood semantics that generalise the relational one, have been investigated both at the propositional and at the description logic level. We present here a family of non-normal modal description logics, obtained by extending ALC-based languages with non-normal modal operators. For formulas interpreted on neighbourhood models over varying domains, we provide a modular framework of terminating, correct, and complete tableau-based satisfiability checking algorithms in NExpTime. For a subset of these systems, we also consider a reduction to satisfiability on constant domain relational models. Moreover, we investigate the satisfiability problem in fragments obtained by disallowing the application of modal operators to description logic concepts, providing tight ExpTime complexity results.

Logics for Modally Real and Modally Nonreal Events

Non-Normal Modal Description Logics (Extended Version)

MEREOLOGICAL BIMODAL LOGICS

Monte Carlo Calculation for the neutron-rich Ca isotopes

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)

On Modal Platonism

A Modal Nonmonotonic Logic

Modality System in Systemic-Functional Linguistics:Logic,Semantics and Pragmatics

A New Modal Framework for Epistemic Logic

Intentionality,Mental Modality and Mental Logic

Modal weak Kleene logics: axiomatizations and relational semantics

Modal Logic: A Semantic Perspective

Possible Worlds Semantics: A Research Program That Cannot Fail?

MODAL STRUCTURES IN GROUPS AND VECTOR SPACES

Explicit non-normal modal logic

Reasoning about Space: the Modal Way

Weighted Modal Logic in Epistemic and Deontic Contexts.

State-based Modal Logics for Free Choice

Model Logic and Philosophy

Topological Modal Logics with Difference Modality