Measuring Inconsistency in Some Logics with Modal Operators.

Published in: Stud Logica (2021)

Keyphrases

modal operators
modal logic
classical logic
nonmonotonic logics
temporal logic
situation calculus
description logics
inference rules
partially ordered
dynamic logic
number restrictions
valued logic
active learning
decision procedures
concept description language
default logic