Mathematical Problems from Applied Logic Ide Dov M. Gabbay, Sergei S. Goncharov, Michael ZakharyaschevMateriasLogic, symbolic and mathematicalLogicMathematicsLogic designComputer scienceSymbolic and mathematical LogicMathematical Logic and FoundationsLogics and Meanings of Programs