Games for modal and temporal logics

@inproceedings{Lange2003GamesFM,
  title={Games for modal and temporal logics},
  author={Martin Lange},
  year={2003}
}
Every logic comes with several decision problems. One of them is the model checking problem: does a given structure satisfy a given formula? Another is the atisfiability problem: for a given formula, is there a structure fulfilling it? For modal and temporal logics; tableaux, automata and games are commonly accepted as helpful techniques that solve these problems. The fact that these logics possess the tree model property makes tableau structures suitable for these tasks. On the other hand… CONTINUE READING
9 Citations
13 References
Similar Papers

Similar Papers

Loading similar papers…