Login / Signup
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.
Tiziano Dalmonte
Björn Lellmann
Nicola Olivetti
Elaine Pimentel
Published in:
LFCS (2020)
Keyphrases
</>
modal logic
inference rules
decision procedures
nonmonotonic logics
temporal logic
sequent calculi
optimal control
optimal solution
epistemic logic
reinforcement learning
cooperative
computational complexity
dynamic programming
autoepistemic logic