Highly Influenced

# Games for modal and temporal logics

@inproceedings{Lange2003GamesFM, title={Games for modal and temporal logics}, author={Martin Lange}, year={2003} }

- Published 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

#### From This Paper

##### Figures, tables, and topics from this paper.

9 Citations

13 References

Similar Papers