State-based Modal Logics for Free Choice.

Maria Aloni Aleksi Anttila Fan Yang

Published in: CoRR (2023)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
state space
temporal logic
epistemic logic
knowledge base
bayesian networks
cooperative