Non-normal Modal description logics

DOI10.1007/978-3-031-43619-2_22MaRDI QIDQ6545543zbMATH OpenFDO

Authors Tiziano Dalmonte, Ana Ozaki, Nicolas Troquard

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_22

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Variants of multi-relational semantics for propositional non-normal modal logics
• scientific article; zbMATH DE number 1400210
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• scientific article; zbMATH DE number 2196587
• scientific article; zbMATH DE number 140404

Cites work

• A Decidable Constructive Description Logic
• A Modal Logic for Coalitional Power in Games
• A non-minimal but very weak axiomatization of common belief
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• An introduction to description logic
• Coalition description logic with individuals
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• First-order classical modal logic
• scientific article; zbMATH DE number 4181308 (Why is no real title available?)
• scientific article; zbMATH DE number 3142081 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• LTL over description logic axioms
• Many-dimensional modal logics: theory and applications
• Neighborhood semantics for modal logic
• Normal monomodal logics can simulate all others
• Obligation, free choice, and the logic of weakest permissions
• On the axiomatisation of Elgesem's logic of agency and ability
• On the logic of ability
• Philosophical problems in logic. Some recent developments
• Prima facie norms, normative conflicts, and dilemmas
• The dynamics of epistemic attitudes in resource-bounded agents
• Universal grammar

Cited in

(1)

• CoNP complexity for combinations of non-normal modal logics

This page was built for publication: Non-normal Modal description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545543)