Login / Signup
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity.
Tiziano Dalmonte
Björn Lellmann
Nicola Olivetti
Elaine Pimentel
Published in:
CoRR (2020)
Keyphrases
</>
worst case
modal logic
sequent calculi
optimal solution
expressive power
nonmonotonic logics
temporal logic
classical logic
optimal design
lower bound
dynamic programming
computational cost
data sets
optimal control
inference rules
representation language
epistemic logic
deontic logic
database