Extended Kripke lemma and decidability for hypersequent substructural logics.

Revantha Ramanayake

Published in: LICS (2020)

Keyphrases

modal logic
propositional calculus
decision procedures
inference rules
temporal logic
expressive power
model checking
data sets
description logics
database
query answering
desirable properties
data types
data model
case study
artificial intelligence
classical logic
neural network
nonmonotonic logics