Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5.

Sizhuo Liu Katsuhiko Sano

Published in: LORI (2023)

Keyphrases

sequent calculi
breadth first search
conditional logic
search tree
cut elimination
machine learning
software engineering
modal logic
depth first search
bayesian networks
nonmonotonic reasoning