Modal logics and mu-calculi: an introduction

@misc{citeulike:576275, abstract = {We briey survey the background and history of modal and temporal logics. We then concentrate on the modal mu-calculus, a modal logic which subsumes most other commonly used logics. We provide an informal introduction, followed by a summary of the main theoretical issues. We then look at model-checking, and nally at the relationship of modal logics to other formalisms.}, author = {Bradfield, J. and Stirling, C. }, citeulike-article-id = {576275}, comment = {Excellente introduction.}, keywords = {modal-logic}, posted-at = {2007-08-23 23:23:59}, priority = {0}, title = {Modal logics and mu-calculi: an introduction}, url = {http://citeseer.ist.psu.edu/bradfield01modal.html}, year = {2001} }

TY - GEN ID - citeulike:576275 L3 - citeulike-article-id:576275 TI - Modal logics and mu-calculi: an introduction N2 - We briey survey the background and history of modal and temporal logics. We then concentrate on the modal mu-calculus, a modal logic which subsumes most other commonly used logics. We provide an informal introduction, followed by a summary of the main theoretical issues. We then look at model-checking, and nally at the relationship of modal logics to other formalisms. KW - modal-logic N1 - Excellente introduction. AU - Bradfield, J AU - Stirling, C PY - 2001/// UR - http://citeseer.ist.psu.edu/bradfield01modal.html ER -