Kripke semantics (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kripke semantics" in English language version.

refsWebsite

Global rank English rank

3^rd place

1,871^st place

1,234^th place

179^th place

183^rd place

low place

books.google.com

Shoham & Leyton-Brown 2008. Shoham, Yoav; Leyton-Brown, Kevin (2008). Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press. p. 397. ISBN 978-0521899437.
Gasquet et al. 2013, pp. 14–16. Gasquet, Olivier; Herzig, Andreas; Said, Bilal; Schwarzentruber, François (2013). Kripke's Worlds: An Introduction to Modal Logics via Tableaux. Springer. pp. XV, 198. ISBN 978-3764385033. Retrieved 24 December 2014.
Giaquinto 2002. Giaquinto, Marcus (2002). The Search for Certainty : A Philosophical Account of Foundations of Mathematics: A Philosophical Account of Foundations of Mathematics. Oxford University Press. p. 256. ISBN 019875244X. Retrieved 24 December 2014.
Stokhof 2008, See the last two paragraphs in Section 3 Quasi-historical Interlude: the Road from Vienna to Los Angeles.. Stokhof, Martin (2008). "The architecture of meaning: Wittgenstein's Tractatus and formal semantics". In Zamuner, Edoardo; Levy, David K. (eds.). Wittgenstein's Enduring Arguments. London: Routledge. pp. 211–244. ISBN 9781134107070.

See a slightly different formalization in Moschovakis (2022) Moschovakis, Joan (16 December 2022). "Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

Goldblatt 2006b. Goldblatt, Robert (2006b). "A Kripke-Joyal Semantics for Noncommutative Logic in Quantales" (PDF). In Governatori, G.; Hodkinson, I.; Venema, Y. (eds.). Advances in Modal Logic. Vol. 6. London: College Publications. pp. 209–225. ISBN 1904987206.