A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it

DOI10.1093/JIGPAL/JZL027zbMath1113.03024OpenAlexW1973559577MaRDI QIDQ3424135

Lin Chen, Lei Liu

Publication date: 15 February 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl027

zbMATH Keywords

description logicvaguenesstableau calculusvague knowledgetableau decision algorithmmodal supervaluation logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (1)

A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains

This page was built for publication: A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it