Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C

&
Journal of Applied Logic 6 (3):343-360 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.06.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Rational Inconsistency and Reasoning.Bryson Brown - 1992 - Informal Logic 14 (1).
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions.Franz Baader, Stefan Borgwardt & Rafael Peñaloza - 2015 - Journal of Philosophical Logic 44 (2):117-146.
To What Extent Are Philosophers Tolerant?Jean Grondin - 2012 - Journal of Philosophical Research 37 (9999):197-201.
Making use of logic.Max Urchs - 1998 - Logic and Logical Philosophy 6:197.
Was the early calculus an inconsistent theory?Peter Vickers - unknown
Algebraic tableau reasoning for the description logic SHOQ.Jocelyne Faddoul & Volker Haarslev - 2010 - Journal of Applied Logic 8 (4):334-355.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Tolerance.Kimberley Jane Pryor - 2009 - Tarrytown, NY: Marshall Cavendish Benchmark.

Analytics

Added to PP
2016-06-30

Downloads
20 (#770,916)

6 months
8 (#368,968)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

KALC: a constructive semantics for ALC.Paola Villa - 2011 - Journal of Applied Non-Classical Logics 21 (2):233-255.

Add more citations

References found in this work

Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Contraction-free sequent calculi for intuitionistic logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.

View all 6 references / Add more references