A Characterization Theorem for a Modal Description Logic

doi 10.24963/ijcai.2017/181
Full Text
Abstract

Available in full text

Date
Authors
Publisher

International Joint Conferences on Artificial Intelligence Organization

Related search

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic
PhilosophyLogic
2017English

A Modal Herbrand Theorem

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Automated Theorem Proving by Translation to Description Logic

EasyChair Preprints
2018English

Towards a Symbolic Modal Logic for LOTOS

1996English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

A Modal Logic for Role-Based Access Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Finite Model Construction for Coalgebraic Modal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Modal Temporal Logic for Reasoning About Change

1983English

A Philosophical Conception of Propositional Modal Logic

Philosophical Topics
Philosophy
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy