Login / Signup
Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
Sabine Frittella
Alessandra Palmigiano
Luigi Santocanale
Published in:
CoRR (2014)
Keyphrases
</>
first order logic
dynamic logic
modal logic
inference rules
modal operators
temporal logic
decision procedures
boolean algebra
upper bound
domain knowledge
mathematical theory