Consistent Theories in Inconsistent Logics.

Franci Mangraviti Andrew Tedder

Published in: J. Philos. Log. (2023)

Keyphrases

expressive power
modal logic
artificial intelligence
inference rules
formal models
cognitive psychology
belief base
inconsistent knowledge
database
bayesian networks
expert systems
knowledge representation
knowledge based systems
classical logic
modal operators
proof theory