MODAL LOGIC PLAYGROUND HOW TO
MODAL LOGIC PLAYGROUND VERIFICATION

When Madison is flooded with emotions about the incident with Hailey, it will not do any good to proceed with choice number two, which is analyzing the problem. Although it may be tempting for adults to respond to an emotional child in a way that brings logic and reason to the blustery situation, this approach will most likely lead to frustration for the child and the adult. She is flooded with emotions, which leaves little space for the logical reasoning of her left brain. What happened to Madison is that her brain's right hemisphere (the emotional one) has taken over control and is not communicating with her left (more logical) hemisphere. So what does this have to do with Madison's and my dilemma? Empathy First

It dominates non-verbal communication, emotions and creative expression through activities such as art or dance. The right hemisphere is often thought of as the more creative side of our brain. It likes to solve puzzles, especially using order and reason, and serves us in linguistic expression. The left hemisphere tends to dominate linear, literal and logical thinking. Although no task, action or thinking process is conducted only in one hemisphere, each hemisphere has an expertise, or a type of processing which it dominates. Our brain has two hemispheres, the left and the right, which are connected through a pathway of nerves. In order to understand this strategy, let's start with a basic review of brain structure and function. Siegel calls the strategy 'connect and redirect.' By proceeding according to these scientific findings, we will guide a student to navigate this emotional issue, help wire her brain to be prepared for dealing with similar future scenarios, and improve our connection with the child. According to neuroscientist Daniel Siegel, M.D., there is and easy and precise strategy that we - teachers, parents, adults - should use in these emotional cases.

I was happy to find a very simple scientific explanation of and satisfying answer to the question of how to deal with such playground dramas. When it comes to these situations, we are often untrained in supporting the emotional development of children. However, in cases like Madison's, we aren't faced with an academic problem. We can teach our students how to summarize a passage, add fractions, investigate a scientific inquiry. Most teachers, myself included, are well trained in teaching academic skills and strategies for tackling intellectual problems. What’s the best tack to take? Is there a 'right' way to deal with this playground drama in the ten minutes we have left in recess? Logic or Emotion? Help her develop a strategy for mending her friendship.Put my arm around her shoulders and sigh, 'I know.įurther developments in temporal logic were made by Amir Pnueli as described in books and papers, see. Temporal logic is used by Lamport's TLA+ today, see.

My research was in a slightly different direction, but important progress in verification was being made in the 1970's by David Gries and Susan Owicki (see, an ACM award winning paper), and Leslie Lamport (see ) that made use of temporal logic. Verifying the correctness of concurrent systems is very difficult. I was introduced to it while doing research on the verification of total correctness of CSP style concurrent programs in the 1970's. Modal logic was always a bit of a puzzle to me, but it does have importance in CS because of temporal logic, see, a kind of modal logic.

MODAL LOGIC PLAYGROUND HOW TO

MODAL LOGIC PLAYGROUND VERIFICATION

Modal logic playground