A multi-modal logic for Galois connections.

Inmaculada Perez de Guzmán Antonio Yuste-Ginel Alfredo Burrieza

Published in: AiML (2022)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
conditional logic
nonmonotonic logics
situation calculus
classical logic
sequent calculus
explanation based generalization
default logic
machine learning
expert systems
formal concept analysis
prime implicates