Reflections on Logics for Assertion and Denial.

Published in: FLAP (2021)

Keyphrases

modal logic
expressive power
inference rules
classical logic
proof theory
epistemic logic
database
genetic algorithm
propositional calculus
propositional dynamic logic
image processing
default reasoning
decision procedures
coalition logic