Mathematical modal logic: A view of its evolution Export

@article{citeulike:565285, abstract = {This is a survey of the origins of mathematical interpretations of modal logics, and their development over the last century or so. It focuses on the interconnections between algebraic semantics using Boolean algebras with operators and relational semantics using structures often called Kripke models. It reviews the ideas of a number of people who independently contributed to the emergence of relational semantics, and compares them with the work of Kripke. It concludes with an account of several applications of modal model theory to mathematics and theoretical computer science.}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Goldblatt, Robert}, citeulike-article-id = {565285}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=969658}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/S1570-8683(03)00008-9}, citeulike-linkout-2 = {http://linkinghub.elsevier.com/retrieve/pii/S1570-8683(03)00008-9}, doi = {10.1016/S1570-8683(03)00008-9}, issn = {15708683}, journal = {Journal of Applied Logic}, keywords = {boolean\_algebra, history\_of\_logic, kripke\_semantics, modal\_logic}, month = {October}, number = {5-6}, pages = {309--392}, posted-at = {2006-03-27 10:38:18}, priority = {0}, publisher = {Elsevier}, title = {Mathematical modal logic: A view of its evolution}, url = {http://dx.doi.org/10.1016/S1570-8683(03)00008-9}, volume = {1}, year = {2003} }

TY - JOUR ID - citeulike:565285 L3 - citeulike-article-id:565285 N2 - This is a survey of the origins of mathematical interpretations of modal logics, and their development over the last century or so. It focuses on the interconnections between algebraic semantics using Boolean algebras with operators and relational semantics using structures often called Kripke models. It reviews the ideas of a number of people who independently contributed to the emergence of relational semantics, and compares them with the work of Kripke. It concludes with an account of several applications of modal model theory to mathematics and theoretical computer science. IS - 5-6 JF - Journal of Applied Logic SN - 15708683 AD - Amsterdam, The Netherlands, The Netherlands EP - 392 TI - Mathematical modal logic: A view of its evolution PB - Elsevier VL - 1 SP - 309 KW - boolean_algebra KW - history_of_logic KW - kripke_semantics KW - modal_logic AU - Goldblatt, Robert PY - 2003/10// UR - http://dx.doi.org/10.1016/S1570-8683(03)00008-9 ER -