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:
J. Log. Comput. (2021)
Keyphrases
</>
modal logic
worst case
classical logic
sequent calculi
optimal design
optimal solution
optimal control
temporal logic
expressive power
closed form
data sets
computational complexity
genetic algorithm
decision problems
computational cost
dynamic programming
neural network