A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It

Logic Journal of the IGPL 14 (6):873-888 (2006)
  Copy   BIBTEX


In this paper we define the syntax and semantics of a description logic ALCs which is the Description logic ALC combined with modal supervaluation logic for representing vague knowledge. The modal supervaluation operator which means ‘it is unequivocal that’ obeys the schemas of the logic S5. We introduce several new useful entailments in the new logic. We also present a tableau decision algorithm for ALCs. The tableau decision algorithm is based on a method introduced by Wolter and Zakharyaschev which is an elaborate combination of Wolper's tableau calculus for propositional modal logic, the standard tableau algorithm for ALC, and the method of quasimodels introduced by Wolter and Zakharyaschev. In this paper, the method is extended with Halpern's tableau calculus for propositional modal logic to handle the case of S5



    Upload a copy of this work     Papers currently archived: 86,605

External links

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

Through your library

Similar books and articles

Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
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.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.


Added to PP

14 (#813,686)

6 months
1 (#874,758)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references