A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it (Q3424135)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it |
scientific article |
Statements
A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it (English)
0 references
15 February 2007
0 references
vagueness
0 references
description logic
0 references
modal supervaluation logic
0 references
vague knowledge
0 references
tableau decision algorithm
0 references
tableau calculus
0 references
0.86659527
0 references
0.8552857
0 references
0.85049725
0 references
0.8422259
0 references
0 references
