Realization Theorems for Justification Logics: Full Modularity.

Annemarie Borg Roman Kuznets

Published in: TABLEAUX (2015)

Keyphrases

expressive power
modal logic
classical logic
inference rules
artificial intelligence
search algorithm
community detection
reason maintenance
digital topology