An epistemic operator for description logics

, , , &
Artificial Intelligence 100 (1-2):225-274 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00009-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.
O pewnej logice informacji.Krystyna Misiuna - 2011 - Filozofia Nauki 19 (1).
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Adding clauses to poor man's logic (without increasing the complexity).Peter Jonsson - 2005 - Journal of Applied Non-Classical Logics 15 (3):341-357.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
Epistemic Pluralism.Fabien Schang - 2017 - Logique Et Analyse 239 (60):337-353.
A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.Sébastien Magnier & Tiago De Lima - unknown
Neighborhood Semantics for Logics of Unknown Truths and False Beliefs.David Gilbert & Giorgio Venturi - 2017 - Australasian Journal of Logic 14 (1).
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181-231.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,531,351)

6 months
4 (#783,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Terminological reasoning is inherently intractable.Bernhard Nebel - 1990 - Artificial Intelligence 43 (2):235-249.

View all 9 references / Add more references