Login / Signup
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames.
Alexander V. Chagrov
L. A. Chagrova
Published in:
Stud Logica (1995)
Keyphrases
</>
multi class problems
np complete
finite number
optimization problems
horn clauses
real numbers