Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038216920> ?p ?o ?g. }
- W2038216920 endingPage "392" @default.
- W2038216920 startingPage "309" @default.
- W2038216920 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." @default.
- W2038216920 created "2016-06-24" @default.
- W2038216920 creator A5037638170 @default.
- W2038216920 date "2003-10-01" @default.
- W2038216920 modified "2023-09-30" @default.
- W2038216920 title "Mathematical modal logic: A view of its evolution" @default.
- W2038216920 cites W1517643705 @default.
- W2038216920 cites W1547536896 @default.
- W2038216920 cites W1574129634 @default.
- W2038216920 cites W1964845238 @default.
- W2038216920 cites W1965449504 @default.
- W2038216920 cites W1966279115 @default.
- W2038216920 cites W1966469983 @default.
- W2038216920 cites W1967423913 @default.
- W2038216920 cites W1967494119 @default.
- W2038216920 cites W1968372691 @default.
- W2038216920 cites W1968606491 @default.
- W2038216920 cites W1968888224 @default.
- W2038216920 cites W1969285530 @default.
- W2038216920 cites W1970603830 @default.
- W2038216920 cites W1972560931 @default.
- W2038216920 cites W1977396974 @default.
- W2038216920 cites W1978469611 @default.
- W2038216920 cites W1979389333 @default.
- W2038216920 cites W1980101645 @default.
- W2038216920 cites W1981311833 @default.
- W2038216920 cites W1982129592 @default.
- W2038216920 cites W1983453585 @default.
- W2038216920 cites W1985302977 @default.
- W2038216920 cites W1986094041 @default.
- W2038216920 cites W1987243149 @default.
- W2038216920 cites W1988370352 @default.
- W2038216920 cites W1988837336 @default.
- W2038216920 cites W1990620456 @default.
- W2038216920 cites W1991153667 @default.
- W2038216920 cites W1991748341 @default.
- W2038216920 cites W1992205482 @default.
- W2038216920 cites W1992670332 @default.
- W2038216920 cites W1997143185 @default.
- W2038216920 cites W1997716585 @default.
- W2038216920 cites W1998889111 @default.
- W2038216920 cites W1999599460 @default.
- W2038216920 cites W2000138546 @default.
- W2038216920 cites W2001748564 @default.
- W2038216920 cites W2001762830 @default.
- W2038216920 cites W2004306067 @default.
- W2038216920 cites W2004334891 @default.
- W2038216920 cites W2006006495 @default.
- W2038216920 cites W2006578955 @default.
- W2038216920 cites W2007096790 @default.
- W2038216920 cites W2011893112 @default.
- W2038216920 cites W2012254684 @default.
- W2038216920 cites W2015640848 @default.
- W2038216920 cites W2017542140 @default.
- W2038216920 cites W2018409597 @default.
- W2038216920 cites W2019891739 @default.
- W2038216920 cites W2022922309 @default.
- W2038216920 cites W2023132547 @default.
- W2038216920 cites W2028227692 @default.
- W2038216920 cites W2028312452 @default.
- W2038216920 cites W2033100041 @default.
- W2038216920 cites W2033136385 @default.
- W2038216920 cites W2035694150 @default.
- W2038216920 cites W2036455553 @default.
- W2038216920 cites W2036639698 @default.
- W2038216920 cites W2036996017 @default.
- W2038216920 cites W2040749508 @default.
- W2038216920 cites W2043768724 @default.
- W2038216920 cites W2043855341 @default.
- W2038216920 cites W2046213250 @default.
- W2038216920 cites W2046750700 @default.
- W2038216920 cites W2049352524 @default.
- W2038216920 cites W2050527500 @default.
- W2038216920 cites W2050530663 @default.
- W2038216920 cites W2053772225 @default.
- W2038216920 cites W2054125990 @default.
- W2038216920 cites W2054793991 @default.
- W2038216920 cites W2057502281 @default.
- W2038216920 cites W2059933820 @default.
- W2038216920 cites W2062867651 @default.
- W2038216920 cites W2062879749 @default.
- W2038216920 cites W2067202258 @default.
- W2038216920 cites W2067441543 @default.
- W2038216920 cites W2068612172 @default.
- W2038216920 cites W2069709605 @default.
- W2038216920 cites W2069896809 @default.
- W2038216920 cites W2071436802 @default.
- W2038216920 cites W2073491323 @default.
- W2038216920 cites W2075277371 @default.
- W2038216920 cites W2075498008 @default.
- W2038216920 cites W2076073997 @default.
- W2038216920 cites W2079600887 @default.
- W2038216920 cites W2079999798 @default.
- W2038216920 cites W2080823411 @default.
- W2038216920 cites W2082584734 @default.
- W2038216920 cites W2082884384 @default.
- W2038216920 cites W2083398633 @default.
- W2038216920 cites W2084208685 @default.